%0 Journal Article %1 journals/corr/JacobsT017 %A Jacobs, Swen %A Tentrup, Leander %A Zimmermann, Martin %D 2017 %J CoRR %K %T Distributed Synthesis for Parameterized Temporal Logics. %U http://dblp.uni-trier.de/db/journals/corr/corr1705.html#JacobsT017 %V abs/1705.08112

@article{journals/corr/JacobsT017, added-at = {2023-12-13T06:46:50.000+0100}, author = {Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/274ad1c0fad32950cce4799b9950eda7f/admin}, ee = {http://arxiv.org/abs/1705.08112}, interhash = {b1a11be21f77f2a1d2250f447e53f3eb}, intrahash = {74ad1c0fad32950cce4799b9950eda7f}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T06:46:50.000+0100}, title = {Distributed Synthesis for Parameterized Temporal Logics.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#JacobsT017}, volume = {abs/1705.08112}, year = 2017 }