%0 Conference Paper %1 conf/mfcs/KrishnaMP17 %A Krishna, Shankara Narayanan %A Madnani, Khushraj %A Pandya, Paritosh K. %B MFCS %D 2017 %E Larsen, Kim G. %E Bodlaender, Hans L. %E Raskin, Jean-François %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 77:1-77:14 %T Making Metric Temporal Logic Rational. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#KrishnaMP17 %V 83 %@ 978-3-95977-046-0

@inproceedings{conf/mfcs/KrishnaMP17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Krishna, Shankara Narayanan and Madnani, Khushraj and Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/2ab53d72063fd2cedff431a071bab7d4d/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2017}, editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-François}, ee = {https://doi.org/10.4230/LIPIcs.MFCS.2017.77}, interhash = {4f9d772cdc822fd6fc8de12c484ca410}, intrahash = {ab53d72063fd2cedff431a071bab7d4d}, isbn = {978-3-95977-046-0}, keywords = {dblp}, pages = {77:1-77:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:07:25.000+0200}, title = {Making Metric Temporal Logic Rational.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#KrishnaMP17}, volume = 83, year = 2017 }