Process mining and verification of properties: An approach based on temporal logic

  • van der Aalst W
  • De Beer H
  • van Dongen B
  • 1


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

There are no full text links


  • W M P van der Aalst

  • H T De Beer

  • B F van Dongen

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free