Experience with Formal Methods in Protocol Development
Authors:
Deepinder P. Sidhu;Anthony Chung
Affiliations:
-;-
Venue:
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols