ProM 4.0: comprehensive support for real process analysis

Wil M.P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R.S. Mans, A.K. Alves De Medeiros, Anne Rozinat, V. Rubin, M.S. Song, H.M.W. (Eric) Verbeek, A.J.M.M. Weijters

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Pages1-10
Number of pages10
Publication statusPublished - Mar 2007
Event3rd European Symposium on Verification and Validation of Software Systems - Eindhoven, Netherlands
Duration: 23 Mar 200723 Mar 2007

Publication series

NameComputer science reports
Volume0704
ISSN (Print)0926-4515

Conference

Conference3rd European Symposium on Verification and Validation of Software Systems
CountryNetherlands
CityEindhoven
Period23/03/0723/03/07

Cite this