Process mining and verification of properties : an approach based on temporal logic / W.M.P. van der Aalst, H.T. de Beer and B.F. van Dongen
mainEntity
Process mining and verification of properties : an approach based on temporal logic / W.M.P. van der Aalst, H.T. de Beer and B.F. van Dongen
author
contributor
inLanguage
isPartOf
isbn
9038605269
mainEntityOfPage
name
Process mining and verification of properties : an approach based on temporal logic
numberOfPages
publication
sameAs
label
Process mining and verificatio ...... T. de Beer and B.F. van Dongen