%0 Book %1 ltl_beta %A Aalst, W.M.P. van der %A Beer, H.T. de %A Dongen, B.F. van %C Eindhoven University of Technology, Eindhoven %D 2005 %K BPM collection imported %T Process Mining and Verification of Properties: An Approach based on Temporal Logic

@booklet{ltl_beta, added-at = {2012-11-22T19:17:38.000+0100}, address = {Eindhoven University of Technology, Eindhoven}, author = {Aalst, {W.M.P. van der} and Beer, {H.T. de} and Dongen, {B.F. van}}, biburl = {https://www.bibsonomy.org/bibtex/20001ccbac4a192c385dd1a813c33e4a4/wvdaalst}, howpublished = {BETA Working Paper Series, WP 136}, interhash = {ef93c748d8b30352cbdeed3180edc8de}, intrahash = {0001ccbac4a192c385dd1a813c33e4a4}, keywords = {BPM collection imported}, timestamp = {2012-11-22T19:22:25.000+0100}, title = {{Process Mining and Verification of Properties: An Approach based on Temporal Logic}}, year = 2005 }