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]
Abstract is missing.