Scotland) Etaps 200 (2005 Edinburgh

Titel	ISBN-13 (ISBN-10)	Erschei- nungsjahr	andere Autoren
Tools and Algorithms for the Construction and Analysis of Systems	978-3-54O-25333-4 (3-54O-25333-5)	2005	Nicolas Halbwachs · Scotland) Tacas 200 (2005 Edinburgh · Lenore D. Zuck