E-mail senden
E-Mail Adresse kopieren
2017
The first reactive synthesis competition (SYNTCOMP 2014)
Veröffentlichungsdatum
2017
Letztes Änderungsdatum
2018-02-23 12:31:45
Autor:innen
-
Swen Jacobs
-
Roderick Bloem
-
Romain Brenguier
-
Rüdiger Ehlers
-
Timotheus Hell
-
Robert Könighofer
-
Guillermo A. Pérez
-
Jean-François Raskin
-
Leonid Ryzhyk
-
Ocan Sankur
-
Martina Seidl
-
Leander Tentrup
-
Adam Walker