Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2004-01859
%A Giacomo, Giuseppe De
%A Masellis, Riccardo De
%A Maggi, Fabrizio Maria
%A Montali, Marco
%D 2020
%J CoRR
%K dblp
%T Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.
%U http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-01859
%V abs/2004.01859
@article{journals/corr/abs-2004-01859,
added-at = {2020-04-08T00: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/2ce739516400240a587667650951c52c0/dblp},
ee = {https://arxiv.org/abs/2004.01859},
interhash = {1ebf66a3c476c02cbedd33ace8070991},
intrahash = {ce739516400240a587667650951c52c0},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-04-09T11:39:57.000+0200},
title = {Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-01859},
volume = {abs/2004.01859},
year = 2020
}