| Title |
|
|
|
The first reactive synthesis competition (SYNTCOMP 2014)
| |
| Author |
|
|
|
| |
| Abstract |
|
|
| | |
| Language |
|
|
|
English
| |
| Source (journal) |
|
|
|
International journal on software tools for technology transfer. - Berlin | |
| Publication |
|
|
|
Berlin : 2017
| |
| ISSN |
|
|
|
1433-2779
| |
| Volume/pages |
|
|
|
19:3(2017), p. 367-390
| |
| ISI |
|
|
|
000400981200006
| |
| Full text (Publisher's DOI) |
|
|
| | |
| Full text (open access) |
|
|
| | |
| Full text (publisher's version - intranet only) |
|
|
| | |
|