Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science (4202), Band 4202)
von:
Eugene Asarin
· Patricia Bouyer
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-45026-9
ISBN-10: 3-540-45026-2
Springer
· 2008
