APA (7th ed.) Citation

Xavier, M., Dubinin, V., Patil, S., & Vyatkin, V. A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems. IEEE.

Chicago Style (17th ed.) Citation

Xavier, Midhun, Victor Dubinin, Sandeep Patil, and Valeriy Vyatkin. A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems. IEEE.

MLA (9th ed.) Citation

Xavier, Midhun, et al. A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems. IEEE.