Publication
Title
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
Author
Abstract
Language
English
Source (journal)
Electronic Proceedings in Theoretical Computer Science
Source (book)
Fourth Workshop on Synthesis, SYNT 2015, 18th July 2015, San Francisco, CA, USA
Publication
2016
ISSN
2075-2180
Volume/pages
202(2016), p. 27-57
ISI
000390259500005
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 16.11.2018
Last edited 20.11.2018