External Links

Cite Key

Statistics

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

PDF

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.

    Finding Minimal Unsatisfiable Cores of Declarative Specifications

    Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson. Finding Minimal Unsatisfiable Cores of Declarative Specifications. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 326-341, Springer, 2008. [doi]

    Authors

    Emina Torlak

    This author has not been identified. Look up 'Emina Torlak' in Google

    Felix Sheng-Ho Chang

    This author has not been identified. Look up 'Felix Sheng-Ho Chang' in Google

    Daniel Jackson

    This author has not been identified. Look up 'Daniel Jackson' in Google
    runs on