Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science (5215), Band 5215)
von
Franck Cassez
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-85777-8
ISBN-10: 3-540-85777-X
Springer
· 2008
