H. T. de Beer

Process Mining and Verification of Properties: An Approach Based on Temporal Logic

Boudewijn F. van Dongen, Wil M. P. van der Aalst, Wil M.P. van der Aalst, 2005, OTM Conferences.