Browse by Author

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.