On the Random Walk Method for Protocol Testing (1994)

Cached

Download Links

by Milena Mihail , Christos H. Papadimitriou
Venue:In Proc. Computer-Aided Verification (CAV 1994), volume 818 of LNCS
Citations:21 - 0 self