DMCA

Systematic verification of safety properties of arbitrary network protocol compositions using (2003)

by Adam D. Bradley , Azer Bestavros , Assaf J. Kfoury
Venue:CHAIN, IEEE Conference on Network Protocols (ICNP) (Atlanta, GA
Citations:7 - 7 self