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.

Encodings of Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup. Encodings of Bounded Synthesis. In Axel Legay, Tiziana Margaria, editors, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. Volume 10205 of Lecture Notes in Computer Science, pages 354-370, 2017. [doi]

Authors

Peter Faymonville

This author has not been identified. Look up 'Peter Faymonville' in Google

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Markus N. Rabe

This author has not been identified. Look up 'Markus N. Rabe' in Google

Leander Tentrup

This author has not been identified. Look up 'Leander Tentrup' in Google
runs on