Top 908 temporal PDF Book Page 21

book image

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)
·279 Pages
·2006
·6.803 MB

1
202122
38