id.\*:("3-540-25333-5")
Results 1 to 1 of 1
Selection :
TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005)Halbwachs, Nicolas; Zuck, Lenore D.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25333-5, XVII, 585 p, isbn 3-540-25333-5Conference Proceedings