Publication
Title
AbsSynthe : abstract synthesis from succinct safety specifications
Author
Abstract
Language
English
Source (journal)
Electronic Proceedings in Theoretical Computer Science
Source (book)
Third Workshop on Synthesis (SYNT 2014), July 23-24, 2014, Vienna, Austria
Publication
2014
ISSN
2075-2180
Volume/pages
157(2014), p. 100-116
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Publication type
Subject
External links
Record
Identification
Creation 19.11.2018
Last edited 19.11.2018