Exploiting symmetry in protocol testing (1998)

by J M T Romijn, J G Springintveld
Venue:Formal Description Techniques and Protocol Speci Testing and Veri (FORTE XI/PSTV XVII '98