Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra. Apriori Formal Coverage Analysis for Protocol Properties. In 19th International Conference on VLSI Design (VLSI Design 2006), 3-7 January 2006, Hyderabad, India. pages 231-236, IEEE Computer Society, 2006. [doi]
Abstract is missing.