On the Random Walk Method for Protocol Testing (1994)

View PDF

Download Links

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