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.

Continuous Petri Nets: Expressive Power and Decidability Issues

Laura Recalde, Serge Haddad, Manuel Silva. Continuous Petri Nets: Expressive Power and Decidability Issues. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura, editors, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Volume 4762 of Lecture Notes in Computer Science, pages 362-377, Springer, 2007. [doi]

Authors

Laura Recalde

This author has not been identified. Look up 'Laura Recalde' in Google

Serge Haddad

This author has not been identified. Look up 'Serge Haddad' in Google

Manuel Silva

This author has not been identified. Look up 'Manuel Silva' in Google
runs on