Ana R. Cavalli, Patrick Maigron, Sung Un Kim. Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. In Gregor von Bochmann, Rachida Dssouli, Anindya Das, editors, Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992. Volume C-11 of IFIP Transactions, pages 237-248, North-Holland, 1992.
@inproceedings{CavalliMK92,
title = {Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications},
author = {Ana R. Cavalli and Patrick Maigron and Sung Un Kim},
year = {1992},
tags = {rule-based, protocol, testing},
researchr = {https://researchr.org/publication/CavalliMK92},
cites = {0},
citedby = {0},
pages = {237-248},
booktitle = {Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992},
editor = {Gregor von Bochmann and Rachida Dssouli and Anindya Das},
volume = {C-11},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89980-4},
}