Title |
|
|
|
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016) : benchmarks, participants & results
| |
Author |
|
|
|
| |
Abstract |
|
|
| | |
Language |
|
|
|
English
| |
Source (journal) |
|
|
|
Electronic Proceedings in Theoretical Computer Science | |
Source (book) |
|
|
|
Fifth Workshop on Synthesis (SYNT 2016), July 17-18, 2016, Toronto, Canada | |
Publication |
|
|
|
2016
| |
ISSN |
|
|
|
2075-2180
| |
Volume/pages |
|
|
|
229(2016), p. 149-177
| |
ISI |
|
|
|
000390330900013
| |
Full text (Publisher's DOI) |
|
|
| | |
Full text (open access) |
|
|
| | |
|