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

Onderzoeksoutput: Boek/rapportRapportAcademic

558 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's18
ISBN van geprinte versie90-386-0526-9
StatusGepubliceerd - 2005

Publicatie series

NaamBETA publicatie : working papers
Volume136
ISSN van geprinte versie1386-9213

Citeer dit