Advances in verification of time petri nets and timed automata : a temporal logic approach - Penczek, Wojciech (Springer, 2006)
Dizin :(245-257) sayfa.