Process Mining and Verification of Properties: An Approach based on Temporal Logic
{. Aalst, {. Beer, and {. Dongen. On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, page 130--147. Springer-Verlag, Berlin, (2005)
%0 Conference Paper
%1 ltl_coopis_2005
%A Aalst, W.M.P. van der
%A Beer, H.T. de
%A Dongen, B.F. van
%B On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005
%D 2005
%E Meersman, R.
%E et al., Z. Tari
%I Springer-Verlag, Berlin
%K BPM collection imported
%P 130--147
%T Process Mining and Verification of Properties: An Approach based on Temporal Logic
%V 3760
@inproceedings{ltl_coopis_2005,
added-at = {2012-11-22T19:17:38.000+0100},
author = {Aalst, {W.M.P. van der} and Beer, {H.T. de} and Dongen, {B.F. van}},
biburl = {https://www.bibsonomy.org/bibtex/270c627e04240a42f6c6f5adb64d15933/wvdaalst},
booktitle = {{On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005}},
editor = {Meersman, R. and et al., Z. Tari},
interhash = {ef93c748d8b30352cbdeed3180edc8de},
intrahash = {70c627e04240a42f6c6f5adb64d15933},
keywords = {BPM collection imported},
pages = {130--147},
publisher = {Springer-Verlag, Berlin},
series = {Lecture Notes in Computer Science},
timestamp = {2012-11-22T19:22:29.000+0100},
title = {{Process Mining and Verification of Properties: An Approach based on Temporal Logic}},
volume = 3760,
year = 2005
}