An edition of Advances in verification of time petri nets and timed automata (2006)
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach (Studies in Computational Intelligence)
By Wojciech Penczek,Agata Pólrola
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
July 28, 2006
Publisher
Springer
Language
eng
Pages
291
Description:
subjects: Real-time control, Petri nets, Real-time data processing