2 Results Found Subscribe to search results
00MAIN
Print
1. 
Cover image for Advances in verification of time petri nets and timed automata : a temporal logic approach