Advances in Verification of Time Petri Nets and Timed Automata
by Wojciech Penczek, Agata Pólrola
2006289 pages
Springer·3 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Advances in Verification of Time Petri Nets and Timed Automata (2006)
Advances in Verification of Time Petri Nets and Timed Automata (2006)
Springer
Springer
Hardcover
ISBN 10: 3540328696
ISBN 13: 9783540328698