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/otm/AalstBD05
%A van der Aalst, Wil M. P.
%A de Beer, H. T.
%A van Dongen, Boudewijn F.
%B OTM Conferences (1)
%D 2005
%E Meersman, Robert
%E Tari, Zahir
%E Hacid, Mohand-Said
%E Mylopoulos, John
%E Pernici, Barbara
%E Babaoglu, Özalp
%E Jacobsen, Hans-Arno
%E Loyall, Joseph P.
%E Kifer, Michael
%E Spaccapietra, Stefano
%I Springer
%K dblp
%P 130-147
%T Process Mining and Verification of Properties: An Approach Based on Temporal Logic.
%U http://dblp.uni-trier.de/db/conf/otm/otm2005-1c.html#AalstBD05
%V 3760
%@ 3-540-29736-7
@inproceedings{conf/otm/AalstBD05,
added-at = {2019-09-25T00:00:00.000+0200},
author = {van der Aalst, Wil M. P. and de Beer, H. T. and van Dongen, Boudewijn F.},
biburl = {https://www.bibsonomy.org/bibtex/2ee626f4792e181031eb1f6ae4b80ee64/dblp},
booktitle = {OTM Conferences (1)},
crossref = {conf/otm/2005-3},
editor = {Meersman, Robert and Tari, Zahir and Hacid, Mohand-Said and Mylopoulos, John and Pernici, Barbara and Babaoglu, Özalp and Jacobsen, Hans-Arno and Loyall, Joseph P. and Kifer, Michael and Spaccapietra, Stefano},
ee = {https://doi.org/10.1007/11575771_11},
interhash = {ef93c748d8b30352cbdeed3180edc8de},
intrahash = {ee626f4792e181031eb1f6ae4b80ee64},
isbn = {3-540-29736-7},
keywords = {dblp},
pages = {130-147},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-26T13:16:39.000+0200},
title = {Process Mining and Verification of Properties: An Approach Based on Temporal Logic.},
url = {http://dblp.uni-trier.de/db/conf/otm/otm2005-1c.html#AalstBD05},
volume = 3760,
year = 2005
}