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.

Comparing Controlled System Synthesis and Suppression Enforcement

Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. Comparing Controlled System Synthesis and Suppression Enforcement. In Bernd Finkbeiner, Leonardo Mariani, editors, Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11757 of Lecture Notes in Computer Science, pages 148-164, Springer, 2019. [doi]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Ian Cassar

This author has not been identified. Look up 'Ian Cassar' in Google

Adrian Francalanza

This author has not been identified. Look up 'Adrian Francalanza' in Google

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google
runs on