%0 Conference Paper %1 conf/atva/PandyaS12 %A Pandya, Paritosh K. %A Shah, Simoni S. %B ATVA %D 2012 %E Chakraborty, Supratik %E Mukund, Madhavan %I Springer %K dblp %P 77-91 %T The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. %U http://dblp.uni-trier.de/db/conf/atva/atva2012.html#PandyaS12 %V 7561 %@ 978-3-642-33385-9

@inproceedings{conf/atva/PandyaS12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Shah, Simoni S.}, biburl = {https://www.bibsonomy.org/bibtex/283f9c6b1990b5a4b853756a611ad5633/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2012}, editor = {Chakraborty, Supratik and Mukund, Madhavan}, ee = {https://doi.org/10.1007/978-3-642-33386-6_8}, interhash = {9377146aa5beed30ed605fa3944bdde0}, intrahash = {83f9c6b1990b5a4b853756a611ad5633}, isbn = {978-3-642-33385-9}, keywords = {dblp}, pages = {77-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:34.000+0200}, title = {The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2012.html#PandyaS12}, volume = 7561, year = 2012 }