E-mail senden
E-Mail Adresse kopieren
2017
The first reactive synthesis competition (SYNTCOMP 2014)
Veröffentlichungsdatum
2017
Letztes Änderungsdatum
2021-06-04 08:39:40
Autor:innen
-
Swen Jacobs
-
Roderick Bloem
-
Romain Brenguier
-
Rüdiger Ehlers
-
Timotheus Hell
-
Robert Könighofer
-
Guillermo A. Perez
-
Jean-Francois Raskin
-
Leonid Ryzhyk
-
Ocan Sankur
-
Martina Seidl
-
Leander Tentrup
-
Adam Walker