Publication dans des actes
Titre:
  • The Second Reactive Synthesis Competition (SYNTCOMP 2015)
Auteur:Jacobs, Swen; Bloem, Roderick; Brenguier, Romain; K"onighofer, Robert; Perez, Guillermo A.; Raskin, Jean-François; Ryzhyk, Leonid; Sankur, Ocan; Seidl, Martina; Tentrup, Leander; Walker, Adam
Informations sur la publication:Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (27-57)
Statut de publication:Publié, 2015
series:EPTCS
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.4204/EPTCS.202.4
https://doi.org/10.4204/EPTCS.202.4