"Formal specification and verification of communication protocols using ..."

Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics