Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science, Band 5813)

Proceedings

von: Joel Ouaknine · Frits W. Vaandrager

Taschenbuch

EAN=ISBN-13: 978-3-642-04367-3

ISBN-10: 3-642-04367-4

Springer · 2009