Your search returned the following document:

1. 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.