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.

Modular Reachability Analysis for Time Petri Nets with Guarded Transitions

René K. Boel, George Jiroveanu. Modular Reachability Analysis for Time Petri Nets with Guarded Transitions. In Sebastian Engell, Hervé Guéguen, Janan Zaytoon, editors, IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003. Volume 36 of IFAC Proceedings Volumes, pages 187-192, Elsevier, 2003. [doi]

Authors

René K. Boel

This author has not been identified. Look up 'René K. Boel' in Google

George Jiroveanu

This author has not been identified. Look up 'George Jiroveanu' in Google
runs on