Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005 Uppsala, Sweden, September 26-28, 2005 Proceedings (Lecture Notes in Computer Science (3829), Band 3829)
von:
Paul Pettersson ·
Wang Yi
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-30946-8
ISBN-10: 3-540-30946-2
Springer
· 2009