Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/rv/MaggiWMA11
%A Maggi, Fabrizio Maria
%A Westergaard, Michael
%A Montali, Marco
%A van der Aalst, Wil M. P.
%B RV
%D 2011
%E Khurshid, Sarfraz
%E Sen, Koushik
%I Springer
%K
%P 131-146
%T Runtime Verification of LTL-Based Declarative Process Models.
%U http://dblp.uni-trier.de/db/conf/rv/rv2011.html#MaggiWMA11
%V 7186
%@ 978-3-642-29859-2
@inproceedings{conf/rv/MaggiWMA11,
added-at = {2023-12-12T20:58:40.000+0100},
author = {Maggi, Fabrizio Maria and Westergaard, Michael and Montali, Marco and van der Aalst, Wil M. P.},
biburl = {https://www.bibsonomy.org/bibtex/2903e464d699473eb481df2a29e56500c/admin},
booktitle = {RV},
crossref = {conf/rv/2011},
editor = {Khurshid, Sarfraz and Sen, Koushik},
ee = {https://www.wikidata.org/entity/Q57005125},
interhash = {373a4046c52a9c948a9159a8483951b9},
intrahash = {903e464d699473eb481df2a29e56500c},
isbn = {978-3-642-29859-2},
keywords = {},
pages = {131-146},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T20:58:40.000+0100},
title = {Runtime Verification of LTL-Based Declarative Process Models.},
url = {http://dblp.uni-trier.de/db/conf/rv/rv2011.html#MaggiWMA11},
volume = 7186,
year = 2011
}