%0 Conference Paper %1 journals/corr/JacobsTZ15 %A Jacobs, Swen %A Tentrup, Leander %A Zimmermann, Martin %B GandALF %D 2016 %E Cantone, Domenico %E Delzanno, Giorgio %K %P 228-241 %T Distributed PROMPT-LTL Synthesis. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#JacobsTZ15 %V 226

@inproceedings{journals/corr/JacobsTZ15, added-at = {2023-12-13T09:54:49.000+0100}, author = {Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/251d29b753a69d4a0f88cffb30c11e1d1/admin}, booktitle = {GandALF}, crossref = {journals/corr/CantoneD16}, editor = {Cantone, Domenico and Delzanno, Giorgio}, ee = {http://arxiv.org/abs/1509.05144}, interhash = {d2d72a45ec5d203d205e59eaf05c338e}, intrahash = {51d29b753a69d4a0f88cffb30c11e1d1}, keywords = {}, pages = {228-241}, series = {EPTCS}, timestamp = {2023-12-13T09:54:49.000+0100}, title = {Distributed PROMPT-LTL Synthesis.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#JacobsTZ15}, volume = 226, year = 2016 }