Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems.

Stephan Kleuker Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. 113-128 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#Kleuker96