External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

EASN: Integrating ASN.1 and Model Checking

Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen. EASN: Integrating ASN.1 and Model Checking. In Gérard Berry, Hubert Comon, Alain Finkel, editors, Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Volume 2102 of Lecture Notes in Computer Science, pages 382-386, Springer, 2001. [doi]

Authors

Vivek K. Shanbhag

This author has not been identified. Look up 'Vivek K. Shanbhag' in Google

K. Gopinath

This author has not been identified. Look up 'K. Gopinath' in Google

Markku Turunen

This author has not been identified. Look up 'Markku Turunen' in Google

Ari Ahtiainen

This author has not been identified. Look up 'Ari Ahtiainen' in Google

Matti Luukkainen

This author has not been identified. Look up 'Matti Luukkainen' in Google
runs on