Towards a Modular Specification and Verification of Protocols within a Layered Architecture.

Younes Souissi Towards a Modular Specification and Verification of Protocols within a Layered Architecture. 35-50 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#Souissi93