APA (7th ed.) Citation

Haugen, R. A., Skeie, N., & Muller, G. Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study. MDPI AG.

Chicago Style (17th ed.) Citation

Haugen, Rune Andre, Nils-Olav Skeie, and Gerrit Muller. Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study. MDPI AG.

MLA (9th ed.) Citation

Haugen, Rune Andre, et al. Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study. MDPI AG.