Margaria, Tiziana.,Yi, Wang..Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /.Springer,,2001..
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Jonker, Willem,.Databases in telecommunications II : VLDB 2001 international workshop, Rome, Italy, September 10, 2001 : proceedings /.Springer,,c2001..
Di Benedetto, Maria Domenica.,Sangiovanni-Vincentelli, Alberto..Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings /.Springer,,2001..