Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings - Margaria-Steffen, Tiziana, 1964-; Yi, Wang (Lecture notes in computer science, 2001)