%0 Conference Paper %1 conf/concur/PandyaS11 %A Pandya, Paritosh K. %A Shah, Simoni S. %B CONCUR %D 2011 %E Katoen, Joost-Pieter %E König, Barbara %I Springer %K dblp %P 60-75 %T On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. %U http://dblp.uni-trier.de/db/conf/concur/concur2011.html#PandyaS11 %V 6901 %@ 978-3-642-23216-9

@inproceedings{conf/concur/PandyaS11, added-at = {2017-05-23T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Shah, Simoni S.}, biburl = {https://www.bibsonomy.org/bibtex/2c92b8d762c9e09b71824058400dbf6df/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2011}, editor = {Katoen, Joost-Pieter and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-23217-6_5}, interhash = {8507bfaeba44420fde2f268a015635b4}, intrahash = {c92b8d762c9e09b71824058400dbf6df}, isbn = {978-3-642-23216-9}, keywords = {dblp}, pages = {60-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:11.000+0200}, title = {On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2011.html#PandyaS11}, volume = 6901, year = 2011 }