Vasilis C. Gerogiannis;Achilles D. Kameas;Panayotis E. Pintelas
-;-;-
Mapping PUNITY to UniNet
Journal of Computer Science and Technology
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software