1. Verifying programs with unreliable channels;Abdulla;Inform. Comput.,1996
2. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
3. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
4. Finite state description of communication protocols;Bochmann;Comput. Networks,1978
5. Symbolic verification of communication protocols with infinite state spaces using QDDs;Boigelot,1996