%0 Book
%A Tiziana Margaria, Wang Yi )eds.(
%T 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
%U /book/101383141/Tools-and-algorithms-for-the-construction-and-anal/