Advances in Verification of Time Petri Nets and Timed Automata
Subtitle: A Temporal Logic Approach (Studies in Computational Intelligence)
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Hardcover
Number of pages: 289
ISBN-13: 9783540328698
Subjects: Engineering: general; Mathematics; Computer Books: General; Computers; Applied; Artificial Intelligence - General; Mathematics / Applied; Time Petri Nets; Timed Automata; Engineering - General