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.

Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report

Francesco Di Cosmo, Tephilla Prince. Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report. In Emanuele De Angelis, Maurizio Proietti, editors, Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024. Volume 3733 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]

Authors

Francesco Di Cosmo

This author has not been identified. Look up 'Francesco Di Cosmo' in Google

Tephilla Prince

This author has not been identified. Look up 'Tephilla Prince' in Google
runs on