Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking (1994)

Cached

Download Links

by Vivek G. Naik , A. P. Sistla
Venue:Computer Aided Verification, volume 818 of Lecture
Citations:5 - 0 self