%0 Journal Article %1 journals/corr/Zimmermann15a %A Zimmermann, Martin %D 2015 %J CoRR %K %T Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version). %U http://dblp.uni-trier.de/db/journals/corr/corr1505.html#Zimmermann15a %V abs/1505.06953

@article{journals/corr/Zimmermann15a, added-at = {2023-12-12T21:36:52.000+0100}, author = {Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2fbe06d8938989a46e11d1393151d34fb/admin}, ee = {http://arxiv.org/abs/1505.06953}, interhash = {40ce65997aa56759efd9d3698a1c7c9a}, intrahash = {fbe06d8938989a46e11d1393151d34fb}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T21:36:52.000+0100}, title = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1505.html#Zimmermann15a}, volume = {abs/1505.06953}, year = 2015 }