Media Manager

Media Files

Files in publications

File

Date:
2007/03/05 16:22
Filename:
aalst2005f.pdf
Size:
406KB
References for:
Process Mining and Verification of Properties: An Approach based on Temporal Logic