Top 1014 audits verification PDF Book Page 23

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
222324
43