Claude Jard, Thierry Jéron. An Educational Case Study in Protocol Verification and Distributed Observation. Computer Science Education, 10(3):203-224, 2000. [doi]
@article{JardJ00,
title = {An Educational Case Study in Protocol Verification and Distributed Observation},
author = {Claude Jard and Thierry Jéron},
year = {2000},
doi = {10.1076/0899-3408(200012)10:3;1-S;FT203},
url = {http://dx.doi.org/10.1076/0899-3408(200012)10:3;1-S;FT203},
researchr = {https://researchr.org/publication/JardJ00},
cites = {0},
citedby = {0},
journal = {Computer Science Education},
volume = {10},
number = {3},
pages = {203-224},
}