Treffer: Formal Modeling and Analysis of Timed Systems
Titel:
Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / edited by Joel Ouaknine, Frits W. Vaandrager
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 291 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5813
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Modeling and Analysis of Timed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642043673
Schlagworte:
ISBN:
9783642043680 ; 3642043682 ; 978--364204367-3 (Sekundärausgabe) ; 978--364204369-7 (Sekundärausgabe)
DOI:
10.1007/978-3-642-04368-0