Protocol validation by simultaneous reachability analysis (1997)

by Kadir Özdemir, Hasan Ural
Venue:Computer Communications