titoli, abstracts, parole chiave >>>
Browse by Journal
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Date | Creators
Jump to: 2012 | 2007
Number of items: 2.

2012

Bodei, Chiara and Brodo, Linda and Chiarugi, Davide (2012) Control flow analysis of generalised Boolean networks. Electronic Notes in Theoretical Computer Science, Vol. 284 , p. 3-22. eISSN 1571-0661. Article.

2007

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and preventing type flaws: a control flow analysis with tags. Electronic Notes in Theoretical Computer Science, Vol. 194 (1), p. 3-22. ISSN 1571-0661. Article.

This list was generated on Mon Nov 24 09:11:18 2014 CET.