EASN: Integrating ASN.1 and Model Checking
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen
EASN: Integrating ASN.1 and Model Checking
CAV, 2001.

CAV 2001
Full names Links ISxN
	author        = "Vivek K. Shanbhag and K. Gopinath and Markku Turunen and Ari Ahtiainen and Matti Luukkainen",
	booktitle     = "{Proceedings of the 13th International Conference on Computer Aided Verification}",
	doi           = "10.1007/3-540-44585-4_37",
	isbn          = "3-540-42345-1",
	pages         = "382--386",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{EASN: Integrating ASN.1 and Model Checking}",
	volume        = 2102,
	year          = 2001,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.