%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 }