APA (7th ed.) Citation

Figge, J., Knuplesch, D., Maletti, A., & Zuvic, D. (2026). Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures.

Chicago Style (17th ed.) Citation

Figge, Julius, David Knuplesch, Andreas Maletti, and Dragan Zuvic. Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures. 2026.

MLA (9th ed.) Citation

Figge, Julius, et al. Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures. 2026.