%0 Conference Paper %1 journals/corr/abs-1106-1237 %A Zimmermann, Martin %B GandALF %D 2011 %E D'Agostino, Giovanna %E Torre, Salvatore La %K %P 146-161 %T Optimal Bounds in Parametric LTL Games %U http://dblp.uni-trier.de/db/series/eptcs/eptcs54.html#abs-1106-1237 %V 54

@inproceedings{journals/corr/abs-1106-1237, added-at = {2023-12-13T01:09:12.000+0100}, author = {Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/25d1484822af16af5d66e39f17bed0a16/admin}, booktitle = {GandALF}, crossref = {journals/corr/abs-1106-0814}, editor = {D'Agostino, Giovanna and Torre, Salvatore La}, ee = {http://arxiv.org/abs/1106.1237}, interhash = {6d8646c13b8e10908b5fff92a8bca6fa}, intrahash = {5d1484822af16af5d66e39f17bed0a16}, keywords = {}, pages = {146-161}, series = {EPTCS}, timestamp = {2023-12-13T01:09:12.000+0100}, title = {Optimal Bounds in Parametric LTL Games}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs54.html#abs-1106-1237}, volume = 54, year = 2011 }