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.

Occam's Razor Applied to the Petri Net Coverability Problem

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre. Occam's Razor Applied to the Petri Net Coverability Problem. In Kim Guldstrand Larsen, Igor Potapov, Jirí Srba, editors, Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Volume 9899 of Lecture Notes in Computer Science, pages 77-89, Springer, 2016. [doi]

Authors

Thomas Geffroy

This author has not been identified. Look up 'Thomas Geffroy' in Google

Jérôme Leroux

This author has not been identified. Look up 'Jérôme Leroux' in Google

Grégoire Sutre

This author has not been identified. Look up 'Grégoire Sutre' in Google
runs on