Focus points and convergent process operators: A proof strategy for protocol verification (1995)

View PDF

Download Links

by Jan Friso Groote, Jan Springintveld
Citations:43 - 11 self