Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Agata Pólrola
ISBN: | 9783540328698 |
Publication date: | 26th June 2006 |
Author: | Wojciech Penczek, Agata Pólrola |
Publisher: | Springer an imprint of Springer Berlin Heidelberg |
Format: | Hardback |
Pagination: | 257 pages |
Series: | Studies in Computational Intelligence |
Genres: |
Engineering: general Maths for engineers Artificial intelligence Mathematics |