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

Research output: Book/ReportReportAcademic

541 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages18
ISBN (Print)90-386-0526-9
Publication statusPublished - 2005

Publication series

NameBETA publicatie : working papers
Volume136
ISSN (Print)1386-9213

Cite this