Advances in Verification of Time Petri Nets and Timed Automata
Subtitle: A Temporal Logic Approach
Publisher: Springer
Published: Nov 24, 2010
Format: paperback
Number of pages: 292
ISBN-13: 9783642069420
Notes: Source title: Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)