Advances in Verification of Time Petri Nets and Timed Automata

Format:: e-book
Title:: Advances in Verification of Time Petri Nets and Timed Automata
Author:: Penczek, Wojciech; Pólrola, Agata
Language:: English
Publisher:: Springer Berlin Heidelberg 2006
ISBN:: 3-540-32869-6
9786610805150
1-280-80515-3
3-540-32870-X
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000283421?locale=en