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.

Supervisory Control of Discrete-Event Systems via IC3

Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson. Supervisory Control of Discrete-Event Systems via IC3. In Eran Yahav, editor, Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Volume 8855 of Lecture Notes in Computer Science, pages 252-266, Springer, 2014. [doi]

Authors

Mohammad Reza Shoaei

This author has not been identified. Look up 'Mohammad Reza Shoaei' in Google

Laura Kovács

This author has not been identified. Look up 'Laura Kovács' in Google

Bengt Lennartson

This author has not been identified. Look up 'Bengt Lennartson' in Google
runs on