ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference Paper

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.

This list was generated on Wed Oct 22 18:07:52 2014 IST.