Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-1903-12576
%A Luttenberger, Michael
%A Meyer, Philipp J.
%A Sickert, Salomon
%D 2019
%J CoRR
%K dblp
%T Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.
%U http://dblp.uni-trier.de/db/journals/corr/corr1903.html#abs-1903-12576
%V abs/1903.12576
@article{journals/corr/abs-1903-12576,
added-at = {2019-04-02T00:00:00.000+0200},
author = {Luttenberger, Michael and Meyer, Philipp J. and Sickert, Salomon},
biburl = {https://www.bibsonomy.org/bibtex/2aa6df1c9fa0d3dfd58a2b5f249c6365f/dblp},
ee = {http://arxiv.org/abs/1903.12576},
interhash = {455a5fb739c39ce6fec1e49e2d2b5c15},
intrahash = {aa6df1c9fa0d3dfd58a2b5f249c6365f},
journal = {CoRR},
keywords = {dblp},
timestamp = {2019-04-03T11:47:18.000+0200},
title = {Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1903.html#abs-1903-12576},
volume = {abs/1903.12576},
year = 2019
}