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.

Workflow Nets Verification: SMT or CLP?

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron. Workflow Nets Verification: SMT or CLP?. In Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, editors, Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Volume 9933 of Lecture Notes in Computer Science, pages 39-55, Springer, 2016. [doi]

Authors

Hadrien Bride

This author has not been identified. Look up 'Hadrien Bride' in Google

Olga Kouchnarenko

This author has not been identified. Look up 'Olga Kouchnarenko' in Google

Fabien Peureux

This author has not been identified. Look up 'Fabien Peureux' in Google

Guillaume Voiron

This author has not been identified. Look up 'Guillaume Voiron' in Google
runs on