%0 Conference Paper %1 conf/rv/PedroPPP15 %A de Matos Pedro, André %A Pereira, David %A Pinho, Luís Miguel %A Pinto, Jorge Sousa %B RV %D 2015 %E Bartocci, Ezio %E Majumdar, Rupak %I Springer %K dblp %P 169-184 %T Monitoring for a Decidable Fragment of MTL-∫. %U http://dblp.uni-trier.de/db/conf/rv/rv2015.html#PedroPPP15 %V 9333 %@ 978-3-319-23819-7

@inproceedings{conf/rv/PedroPPP15, added-at = {2017-09-16T00:00:00.000+0200}, author = {de Matos Pedro, André and Pereira, David and Pinho, Luís Miguel and Pinto, Jorge Sousa}, biburl = {https://www.bibsonomy.org/bibtex/23e93b0c3aa4283d77b65665547dd546f/dblp}, booktitle = {RV}, crossref = {conf/rv/2015}, editor = {Bartocci, Ezio and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-319-23820-3_11}, interhash = {6a45ee27d8177d31fafb225b4bd1c152}, intrahash = {3e93b0c3aa4283d77b65665547dd546f}, isbn = {978-3-319-23819-7}, keywords = {dblp}, pages = {169-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:37.000+0200}, title = {Monitoring for a Decidable Fragment of MTL-∫.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2015.html#PedroPPP15}, volume = 9333, year = 2015 }