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

Cached

Download Links

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