Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Autor:
Springer Nature EN
Verlag:
Springer Nature EN
Sprache:
English
Keine Beschreibung für das Buch
CHF 189.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
A Temporal Logic Approach
ISBN
978-3-540-32869-8
EAN
9783540328698
Erscheinungsjahr
6/26/2006
Verlag
Springer Nature EN
Author
Penczek, Wojciech;Pólrola, Agata
Sprache
English
Springer Nature EN weitere Bücher
Bewertungen
0 Bewertungen
Anmeldung erforderlich