AbsSynthe : abstract synthesis from succinct safety specifications

Title

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

DOI

10.4204/EPTCS.157.11

Volume/pages

157 (2014) , p. 100-116

Full text (Publisher's DOI)

Full text (open access)

Identifier

Creation

19.11.2018

Last edited

22.08.2023

To cite this reference