Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya. Experience with Formal Specifications Using an Extended State Transition Model. IEEE Transactions on Communications, 30(12):2506-2513, 1982. [doi]
@article{BochmannCGJLLMR82,
title = {Experience with Formal Specifications Using an Extended State Transition Model},
author = {Gregor von Bochmann and Eduard Cerny and Michel Gagné and Claude Jard and Alain Léveillé and Clement Lacaille and Michel Maksud and K. S. Raghunathan and Behçet Sarikaya},
year = {1982},
doi = {10.1109/TCOM.1982.1095445},
url = {https://doi.org/10.1109/TCOM.1982.1095445},
researchr = {https://researchr.org/publication/BochmannCGJLLMR82},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Communications},
volume = {30},
number = {12},
pages = {2506-2513},
}