APA (7th ed.) Citation
Slovák, P., & Lehocki, F. (2025). Formal verification of selected properties of process models obtained through process mining from event logs.
Chicago Style (17th ed.) Citation
Slovák, Peter, and Fedor Lehocki. Formal Verification of Selected Properties of Process Models Obtained Through Process Mining from Event Logs. 2025.
MLA (9th ed.) Citation
Slovák, Peter, and Fedor Lehocki. Formal Verification of Selected Properties of Process Models Obtained Through Process Mining from Event Logs. 2025.
Warning: These citations may not always be 100% accurate.