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.

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics

Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler. A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. Electronic Notes in Theoretical Computer Science, 312:125-141, 2015. [doi]

Authors

Cláudia Nalon

This author has not been identified. Look up 'Cláudia Nalon' in Google

Bruno Lopes

This author has not been identified. Look up 'Bruno Lopes' in Google

Gilles Dowek

This author has not been identified. Look up 'Gilles Dowek' in Google

Edward Hermann Haeusler

This author has not been identified. Look up 'Edward Hermann Haeusler' in Google
runs on