Self Checking Network Protocols: A Monitor Based Approach (2004)

by G Khanna, P Varadharajan, S Bagchi
Venue:in IEEE SRDS