Your search returned the following document:
-
Model Checking for Communication Protocols
Pablo Argon, Giorgio Delzanno, Supratik Mukhopadhyay, and Andreas Podelski
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), Piestany, Slovak Republic, November 24 -- December 1, 2001, 2001, 160-170. Note: To appear.