Publication
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)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 19.11.2018
Last edited 20.11.2018