External Links

Cite Key

Statistics

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

PDF

Tags

Bibliographies

    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.

    Assessing the Kodkod Model Finder for Resolving Model Inconsistencies

    Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens. Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 69-84, Springer, 2011. [doi]

    Authors

    Ragnhild Van Der Straeten

    This author has not been identified. It may be one of the following persons: Look up 'Ragnhild Van Der Straeten' in Google

    Jorge Pinna Puissant

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

    Tom Mens

    Identified as Tom Mens
    runs on