Up a level |
Pal, Bhaskar and Chhetan, Nawang and Dasgupta, Pallab and Chakrabarti, Partha P and Nandi, Anindyasundar (2006) H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions. In: 2005 Annual IEEE INDICON, 11-13 Dec. 2005, Chennai, India.