Hybrid Verification of Protocol Bridges

Praveen Tiwari, Raj S. Mitra. Hybrid Verification of Protocol Bridges. IEEE Design & Test of Computers, 24(2):124-131, 2007. [doi]

Abstract

Abstract is missing.