Io: An Estelle Simulator for Performance Evaluation
Authors:
D. Fernández;Enrique Vázquez;Juan Vinyes
Affiliations:
-;-;-
Venue:
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV