External Links

Cite Key

Statistics

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

PDF

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.

Lightweight Verification of Executable Models

Elena Planas, Jordi Cabot, Cristina Gómez. Lightweight Verification of Executable Models. In Manfred A. Jeusfeld, Lois M. L. Delcambre, Tok Wang Ling, editors, Conceptual Modeling - ER 2011, 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings. Volume 6998 of Lecture Notes in Computer Science, pages 467-475, Springer, 2011. [doi]

Authors

Elena Planas

This author has not been identified. Look up 'Elena Planas' in Google

Jordi Cabot

This author has not been identified. It may be one of the following persons: Look up 'Jordi Cabot' in Google

Cristina Gómez

This author has not been identified. Look up 'Cristina Gómez' in Google
runs on