Title
|
|
|
|
Reactive synthesis without regret
|
|
Author
|
|
|
|
|
|
Abstract
|
|
|
|
|
|
Language
|
|
|
|
English
|
|
Source (journal)
|
|
|
|
LIPIcs : Leibniz International Proceedings in Informatics. - Place of publication unknown
|
|
Source (book)
|
|
|
|
26th International Conference on Concurrency Theory (CONCUR 2015), September 1-4, 2015, Madrid, Spain / Aceto, Luca [edit.]; et al.
|
|
Publication
|
|
|
|
Germany
:
Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik
,
2015
|
|
ISSN
|
|
|
|
1868-8969
|
|
ISBN
|
|
|
|
978-3-939897-91-0
|
|
DOI
|
|
|
|
10.4230/LIPICS.CONCUR.2015.114
|
|
Volume/pages
|
|
|
|
42
(2015)
, p. 114-127
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|