Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya. Some Experience with the Use of Formal Specifications. In Carl A. Sunshine, editor, Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. pages 171-185, North-Holland, 1982.
@inproceedings{BochmannCGJLLMRS82,
title = {Some Experience with the Use of Formal Specifications},
author = {Gregor von Bochmann and Eduard Cerny and Michel Gagne and Claude Jard and Alain Léveillé and Clement Lacaille and Michel Maksud and K. S. Raghunathan and Behçet Sarikaya},
year = {1982},
researchr = {https://researchr.org/publication/BochmannCGJLLMRS82},
cites = {0},
citedby = {0},
pages = {171-185},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
editor = {Carl A. Sunshine},
publisher = {North-Holland},
isbn = {0-444-86481-4},
}