James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam. The Agreement Problem Protocol Verification Environment. In Dragan Bosnacki, Stefan Leue, editors, Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Volume 2318 of Lecture Notes in Computer Science, pages 148-169, Springer, 2002. [doi]
@inproceedings{PascoeLS02:0,
title = {The Agreement Problem Protocol Verification Environment},
author = {James S. Pascoe and Roger J. Loader and Vaidy S. Sunderam},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2318/23180148.htm},
tags = {meta-model, protocol, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/PascoeLS02%3A0},
cites = {0},
citedby = {0},
pages = {148-169},
booktitle = {Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings},
editor = {Dragan Bosnacki and Stefan Leue},
volume = {2318},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43477-1},
}