%0 Conference Paper %1 conf/icalp/AlurTEP99 %A Alur, Rajeev %A Etessami, Kousha %A Torre, Salvatore La %A Peled, Doron A. %B ICALP %D 1999 %E Wiedermann, Jirí %E van Emde Boas, Peter %E Nielsen, Mogens %I Springer %K dblp %P 159-168 %T Parametric Temporal Logic for "Model Measuring". %U http://dblp.uni-trier.de/db/conf/icalp/icalp99.html#AlurTEP99 %V 1644 %@ 3-540-66224-3

@inproceedings{conf/icalp/AlurTEP99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Alur, Rajeev and Etessami, Kousha and Torre, Salvatore La and Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2003af5469eb32b7c192ea19b48c79ed9/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/99}, editor = {Wiedermann, Jirí and van Emde Boas, Peter and Nielsen, Mogens}, ee = {https://doi.org/10.1007/3-540-48523-6_13}, interhash = {805fd56cbe3b2601959ed5d35abaece6}, intrahash = {003af5469eb32b7c192ea19b48c79ed9}, isbn = {3-540-66224-3}, keywords = {dblp}, pages = {159-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:42.000+0200}, title = {Parametric Temporal Logic for "Model Measuring".}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp99.html#AlurTEP99}, volume = 1644, year = 1999 }