Mohamed Bettaz. Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. In ADT. 1988.
@inproceedings{Bettaz88, title = {Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols}, author = {Mohamed Bettaz}, year = {1988}, tags = {protocol}, researchr = {https://researchr.org/publication/Bettaz88}, cites = {0}, citedby = {0}, booktitle = {ADT}, }