Katoen, Joost-Peter (ed) & Stevens, Perdita (ed)Conf.Tools & Algorithms for the Construction & Anal. System , 2002
Tools and algorithms for the construction and analysis of systems. Proceedings of the 8th int. conference, TACAS 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, April 8-12, 2002. - Springer Verlag, 2002. - (Lecture Notes in Computer Science; 2280).
Margaria, Tiziana (ed) & Yi, Wang (ed)Conf.Tools & Algorithms for the Construction & Anal. System , 2001
Tools and algorithms for the construction and analysis of systems. 7th international conferenc e, TACAS 2001. Held as part of the joint european conferences on theory and practice of software, ETAPS 2001. Genova, Italy 2-6. Proceedings. - Springer Verlag, 2001. - (Lecture Notes in Computer Science; 2031).