-
Selection by year
-
Selection by authors
-
Complete lists
jacobs:hal-01373547
S. Jacobs, R. Bloem, R. Brenguier, R. Ehlers, T. Hell, R. Konighofer, G. A. Pérez, J-F Raskin, L. Ryzhyk, O. Sankur, M. Seidl, L. Tentrup, A. Walker. The first reactive synthesis competition (SYNTCOMP 2014). International Journal on Software Tools for Technology Transfer, April 2016.
Contact
Ocan Sankur http://people.irisa.fr/Ocan.Sankur/
BibTex Reference
@article{jacobs:hal-01373547,
Author = {Jacobs, S. and Bloem, R. and Brenguier, R. and Ehlers, R. and Hell, T. and Konighofer, R. and Pérez, G. A. and Raskin, J-F and Ryzhyk, L. and Sankur, O. and Seidl, M. and Tentrup, L. and Walker, A.},
Title = {{The first reactive synthesis competition (SYNTCOMP 2014)}},
Journal = {{International Journal on Software Tools for Technology Transfer}},
Publisher = {{Springer Verlag}},
Month = {April},
Year = {2016}
}
EndNote Reference [help]
Get EndNote Reference (.ref)