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

Shanbhag, VK and Gopinath, K and Turunen, M and Ahtiainen, A and Luukkainen, M (2001) EASN: integrating ASN.1 and model checking. In: Proceedings of CAV'01. Conference on Computer Aided Verification, 18-22 July 2001, Paris, France, pp. 382-386.

This list was generated on Fri Oct 31 02:15:38 2014 IST.