Advances in verification of time petri nets and timed automata : a temporal logic approach /

Advances in verification of time petri nets and timed automata : a temporal logic approach /

41

Bibliographic Details
Main Authors: 428455 Penczek, Wojciech, Polrola, Agata
Format:
Language:eng
Published: Berlin : Springer, 2006
Subjects:
Petri nets
Real-time control
Real-time data processing
Description
Summary:41

Similar Items