Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)

Verification

von Wojciech Penczek

Taschenbuch

ISBN-13: 978-3-642-06942-0

ISBN-10: 3-642-06942-8

Springer · 2010
S. auch:
2006Gebundene AusgabeAdvances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)