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.

Parameterized Synthesis with Safety Properties

Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider. Parameterized Synthesis with Safety Properties. In Bruno C. D. S. Oliveira, editor, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Volume 12470 of Lecture Notes in Computer Science, pages 273-292, Springer, 2020. [doi]

Authors

Oliver Markgraf

This author has not been identified. Look up 'Oliver Markgraf' in Google

Chih-Duo Hong

This author has not been identified. Look up 'Chih-Duo Hong' in Google

Anthony W. Lin

This author has not been identified. Look up 'Anthony W. Lin' in Google

Muhammad Najib

This author has not been identified. Look up 'Muhammad Najib' in Google

Daniel Neider

This author has not been identified. Look up 'Daniel Neider' in Google
runs on