%0 Conference Paper %1 conf/time/MadnaniKP14 %A Madnani, Khushraj %A Krishna, Shankara Narayanan %A Pandya, Paritosh K. %B TIME %D 2014 %E Cesta, Amedeo %E Combi, Carlo %E Laroussinie, François %I IEEE Computer Society %K dblp %P 174-183 %T Partially Punctual Metric Temporal Logic is Decidable. %U http://dblp.uni-trier.de/db/conf/time/time2014.html#MadnaniKP14 %@ 978-1-4799-4228-2

@inproceedings{conf/time/MadnaniKP14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Madnani, Khushraj and Krishna, Shankara Narayanan and Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/20e18473399604fc0e422a7f33f4332f1/dblp}, booktitle = {TIME}, crossref = {conf/time/2014}, editor = {Cesta, Amedeo and Combi, Carlo and Laroussinie, François}, ee = {https://doi.ieeecomputersociety.org/10.1109/TIME.2014.17}, interhash = {4ec66ac2004d07b9d1700df053181a1d}, intrahash = {0e18473399604fc0e422a7f33f4332f1}, isbn = {978-1-4799-4228-2}, keywords = {dblp}, pages = {174-183}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:33:16.000+0200}, title = {Partially Punctual Metric Temporal Logic is Decidable.}, url = {http://dblp.uni-trier.de/db/conf/time/time2014.html#MadnaniKP14}, year = 2014 }