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.

Verifying Reference Nets By Means of Hypernets: a Plugin for Renew

Marco Mascheroni, Thomas Wagner, Lars Wüstenberg. Verifying Reference Nets By Means of Hypernets: a Plugin for Renew. In Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, editors, Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010. Volume 827 of CEUR Workshop Proceedings, pages 285-299, CEUR-WS.org, 2010. [doi]

Authors

Marco Mascheroni

This author has not been identified. Look up 'Marco Mascheroni' in Google

Thomas Wagner

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

Lars Wüstenberg

This author has not been identified. Look up 'Lars Wüstenberg' in Google
runs on