@inproceedings{8eab61ef76e944278e00ed54b9d57cc4,
title = "ProM 4.0: comprehensive support for real process analysis",
author = "{van der Aalst}, {Wil M.P.} and {van Dongen}, {Boudewijn F.} and G{\"u}nther, {Christian W.} and R.S. Mans and {Alves De Medeiros}, A.K. and Anne Rozinat and V. Rubin and M.S. Song and Verbeek, {H.M.W. (Eric)} and A.J.M.M. Weijters",
year = "2007",
month = mar,
language = "English",
series = "Computer science reports",
publisher = "Technische Universiteit Eindhoven",
pages = "1--10",
booktitle = "Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands",
note = "3rd European Symposium on Verification and Validation of Software Systems ; Conference date: 23-03-2007 Through 23-03-2007",
}