Automatic Translation of Time Petri Nets into Estelle Description
Authors:
A. B. Alkhechi;Stanislaw Budkowski
Affiliations:
-;-
Venue:
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III