Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture Notes in Computer Science, Band 7595)
von:
Marcin Jurdzinski · Dejan Nickovic
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-33364-4
ISBN-10: 3-642-33364-8
Springer
· 2012