Frits Feldbrugge
-
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies