Formal Modeling and Analysis of Timed Systems (vol. # 4202) electronic resource - 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Författare
Eugene. Asarin
(Edited by Eugene Asarin, Patricia Bouyer.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer-Verlag GmbH. 2006 Utgivningsland okänt / Ej specificerat, Berlin Heidelberg v.: digital 978-3-540-45031-3