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

Cached

Download Links

by Jan Friso Groote, Jan Springintveld
Citations:44 - 12 self