Publication
Title
AbsSynthe : abstract synthesis from succinct safety specifications
Author
Brenguier, Romain
Pérez, Guillermo A.
Raskin, Jean-François
Sankur, Ocan
Abstract
Click here for abstract or brief contents
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
DOI
10.4204/EPTCS.157.11
Volume/pages
157 (2014) , p. 100-116
Full text (Publisher's DOI)
https://doi.org/10.4204/EPTCS.157.11
Full text (open access)
https://repository.uantwerpen.be/docman/irua/aaf834/154996.pdf
UAntwerpen
Publication type
A2 Journal article
Subject
Computer. Automation
External links
Record
Identifier
Creation
19.11.2018
Last edited
22.08.2023
To cite this reference
https://hdl.handle.net/10067/1549960151162165141