Browse by Journal
Group by: Date | Creators Number of items: 2.
2012Bodei, 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. 2007Bodei, 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. |