%0 Journal Article %1 journals/tosem/GiacomoMMM22 %A Giacomo, Giuseppe De %A Masellis, Riccardo De %A Maggi, Fabrizio Maria %A Montali, Marco %D 2022 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 4 %P 68:1-68:44 %T Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. %U http://dblp.uni-trier.de/db/journals/tosem/tosem31.html#GiacomoMMM22 %V 31

@article{journals/tosem/GiacomoMMM22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Giacomo, Giuseppe De and Masellis, Riccardo De and Maggi, Fabrizio Maria and Montali, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2614e967585e3797db5ea1c84d44c1909/dblp}, ee = {https://www.wikidata.org/entity/Q113771575}, interhash = {9b31b859f919ee8d2acc3a84838de3a9}, intrahash = {614e967585e3797db5ea1c84d44c1909}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 4, pages = {68:1-68:44}, timestamp = {2024-04-09T02:03:18.000+0200}, title = {Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem31.html#GiacomoMMM22}, volume = 31, year = 2022 }