de Pol. Checking veri of protocols and distributed systems by computer (1998)

by J F Groote, F Monin, J van
Venue:Proceedings CONCUR'98, volume 1466 of Lecture Notes in Computer Science