![](/img/cover-not-exists.png)
The first reactive synthesis competition (SYNTCOMP 2014)
Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, TentruVolume:
19
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-016-0416-3
Date:
June, 2017
File:
PDF, 987 KB
english, 2017