Titre:
  • The first reactive synthesis competition (SYNTCOMP 2014)
Auteur:Jacobs, Swen; Bloem, Roderick; Brenguier, Romain; Ehlers, Rüdiger; Hell, Timotheus; K"onighofer, Robert; Perez, Guillermo A.; Raskin, Jean-François; Ryzhyk, Leonid; Sankur, Ocan; Seidl, Martina; Tentrup, Leander; Walker, Adam
Informations sur la publication:International journal on software tools for technology transfer, 19, 3, page (367-390)
Statut de publication:Publié, 2017
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:urn:issn:1433-2779
info:doi/10.1007/s10009-016-0416-3
https://doi.org/10.1007/s10009-016-0416-3