%0 Conference Paper %1 conf/fossacs/KrishnaMP16 %A Krishna, Shankara Narayanan %A Madnani, Khushraj %A Pandya, Paritosh K. %B FoSSaCS %D 2016 %E Jacobs, Bart %E Löding, Christof %I Springer %K dblp %P 335-352 %T Metric Temporal Logic with Counting. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#KrishnaMP16 %V 9634 %@ 978-3-662-49629-9

@inproceedings{conf/fossacs/KrishnaMP16, 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/2cc8c7f53f0f52d3d3c7b611d61abec7b/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2016}, editor = {Jacobs, Bart and Löding, Christof}, ee = {https://doi.org/10.1007/978-3-662-49630-5_20}, interhash = {2ed1af98fe5153665753a6bec9dd224d}, intrahash = {cc8c7f53f0f52d3d3c7b611d61abec7b}, isbn = {978-3-662-49629-9}, keywords = {dblp}, pages = {335-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:24.000+0200}, title = {Metric Temporal Logic with Counting.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#KrishnaMP16}, volume = 9634, year = 2016 }