A framework for model checking network protocols (2004)

by M MUSUVATHI, D ENGLER
Venue:In Proc. First Symposium on Networked Systems Design and Implementation (NSDI