Checking verifications of protocols and distributed systems by computer (1998)

by J Groote, F Monin, J v d Pol
Venue:In Proc. CONCUR’98