%0 Journal Article %1 journals/corr/abs-1305-6137 %A Madnani, Khushraj %A Krishna, Shankara Narayanan %A Pandya, Paritosh K. %D 2013 %J CoRR %K dblp %T On the Decidability and Complexity of Some Fragments of Metric Temporal Logic %U http://dblp.uni-trier.de/db/journals/corr/corr1305.html#abs-1305-6137 %V abs/1305.6137

@article{journals/corr/abs-1305-6137, added-at = {2018-08-13T00:00:00.000+0200}, author = {Madnani, Khushraj and Krishna, Shankara Narayanan and Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/20a20560fac86cc8884c106fb20419251/dblp}, ee = {http://arxiv.org/abs/1305.6137}, interhash = {ab9cde2cb4971f3ec0c5229ad8263bdf}, intrahash = {0a20560fac86cc8884c106fb20419251}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:52:28.000+0200}, title = {On the Decidability and Complexity of Some Fragments of Metric Temporal Logic}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1305.html#abs-1305-6137}, volume = {abs/1305.6137}, year = 2013 }