%0 Journal Article %1 journals/sttt/JacobsBBEHKPRRS17 %A Jacobs, Swen %A Bloem, Roderick %A Brenguier, Romain %A Ehlers, Rüdiger %A Hell, Timotheus %A Könighofer, Robert %A Pérez, Guillermo A. %A Raskin, Jean-François %A Ryzhyk, Leonid %A Sankur, Ocan %A Seidl, Martina %A Tentrup, Leander %A Walker, Adam %D 2017 %J Int. J. Softw. Tools Technol. Transf. %K %N 3 %P 367-390 %T The first reactive synthesis competition (SYNTCOMP 2014). %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#JacobsBBEHKPRRS17 %V 19

@article{journals/sttt/JacobsBBEHKPRRS17, added-at = {2023-12-13T01:17:22.000+0100}, author = {Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Pérez, Guillermo A. and Raskin, Jean-François and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam}, biburl = {https://www.bibsonomy.org/bibtex/263b44e889c9b8766cc5352d5591e6ab1/admin}, ee = {https://doi.org/10.1007/s10009-016-0416-3}, interhash = {6f6a32fbecd5e4dd9f1918dd29a75d74}, intrahash = {63b44e889c9b8766cc5352d5591e6ab1}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 3, pages = {367-390}, timestamp = {2023-12-13T01:17:22.000+0100}, title = {The first reactive synthesis competition (SYNTCOMP 2014).}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#JacobsBBEHKPRRS17}, volume = 19, year = 2017 }