Encodings of Bounded Synthesis

Faymonville, Peter and Finkbeiner, Bernd and Rabe, Markus N. and Tentrup, Leander
(2017) Encodings of Bounded Synthesis.
In: 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, .
Conference: TACAS - Tools and Algorithms for Construction and Analysis of Systems

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-662-54577-5_20

Actions

Actions (login required)

View Item View Item