Generating transition graphs from LOTOS specifications
Authors:
Günter Karjoth
Affiliations:
-
Venue:
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V