Articles dans des revues avec comité de lecture (185)
49.
Jacobs, S., Bloem, R., Brenguier, R., Ehlers, R., Hell, T., K"onighofer, R., Perez, G. A., Raskin, J.-F., Ryzhyk, L., Sankur, O., Seidl, M., Tentrup, L., & Walker, A. (2017). The first reactive synthesis competition (SYNTCOMP 2014). International journal on software tools for technology transfer, 19(3), 367-390. doi:10.1007/s10009-016-0416-3