Browse by Author

Group by: Item Type | No Grouping

Number of items: 1.

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 Thu Dec 26 20:45:47 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0