The first reactive synthesis competition (SYNTCOMP 2014)

International Journal on Software Tools for Technology Transfer (STTT) 2017 / 6 Vol. 19; Iss. 3

The first reactive synthesis competition (SYNTCOMP 2014)

Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentru
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
19
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-016-0416-3
Date:
June, 2017
File:
PDF, 987 KB
english, 2017
Conversion to is in progress
Conversion to is failed