Advances in Verification of Time Petri Nets and Timed Automata
Loading...
Files
Date
2006
Authors
Penczek, Wojciech
Półrola, Agata
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Advances in Verification of Time Petri Nets and Timed Automata