%0 Conference Paper %1 journals/corr/Zimmermann15c %A Zimmermann, Martin %B GandALF %D 2015 %E Esparza, Javier %E Tronci, Enrico %K %P 144-157 %T Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#Zimmermann15c %V 193

@inproceedings{journals/corr/Zimmermann15c, added-at = {2023-12-14T16:55:02.000+0100}, author = {Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/21badfeb0df08fb62a173682030da3efc/admin}, booktitle = {GandALF}, crossref = {journals/corr/EsparzaT15}, editor = {Esparza, Javier and Tronci, Enrico}, ee = {http://arxiv.org/abs/1509.07206}, interhash = {fefdc97918ed46ed2c5b74b353fa636d}, intrahash = {1badfeb0df08fb62a173682030da3efc}, keywords = {}, pages = {144-157}, series = {EPTCS}, timestamp = {2023-12-14T16:55:02.000+0100}, title = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs193.html#Zimmermann15c}, volume = 193, year = 2015 }