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.

PranCS: A Protocol and Discrete Controller Synthesis Tool

Idress Husien, Sven Schewe, Nicolas Berthier. PranCS: A Protocol and Discrete Controller Synthesis Tool. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 337-349, Springer, 2017. [doi]

Authors

Idress Husien

This author has not been identified. Look up 'Idress Husien' in Google

Sven Schewe

This author has not been identified. Look up 'Sven Schewe' in Google

Nicolas Berthier

This author has not been identified. Look up 'Nicolas Berthier' in Google
runs on