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