Towards the Verification of Scenarios with Time Petri-Nets.

Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan

Browse the full COMPSAC paper archive.