%0 Conference Paper %1 journals/corr/TentrupWZ15 %A Tentrup, Leander %A Weinert, Alexander %A Zimmermann, Martin %B GandALF %D 2016 %E Cantone, Domenico %E Delzanno, Giorgio %K dblp %P 302-315 %T Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time %U http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#TentrupWZ15 %V 226

@inproceedings{journals/corr/TentrupWZ15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Tentrup, Leander and Weinert, Alexander and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/217b798a372ea26cd8bb7aa99d80309c5/dblp}, booktitle = {GandALF}, crossref = {journals/corr/CantoneD16}, editor = {Cantone, Domenico and Delzanno, Giorgio}, ee = {http://arxiv.org/abs/1511.09450}, interhash = {a7521d616cd560331a0fae8a6f17ba85}, intrahash = {17b798a372ea26cd8bb7aa99d80309c5}, keywords = {dblp}, pages = {302-315}, series = {EPTCS}, timestamp = {2019-10-22T13:49:51.000+0200}, title = {Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#TentrupWZ15}, volume = 226, year = 2016 }