Harbans Kaur, James Brown Grier, Graham Campbell. A Specification and Verifiaction Tool for Communication Protocols. In Naveed A. Sherwani, Elise de Doncker, John A. Kapenga, editors, Computing in the 90 s, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings. Volume 507 of Lecture Notes in Computer Science, pages 234-241, Springer, 1989.
@inproceedings{KaurGC89,
title = {A Specification and Verifiaction Tool for Communication Protocols},
author = {Harbans Kaur and James Brown Grier and Graham Campbell},
year = {1989},
tags = {protocol},
researchr = {https://researchr.org/publication/KaurGC89},
cites = {0},
citedby = {0},
pages = {234-241},
booktitle = {Computing in the 90 s, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings},
editor = {Naveed A. Sherwani and Elise de Doncker and John A. Kapenga},
volume = {507},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-97628-0},
}