APA (7th ed.) Citation

Lopez-Miguel, I. D., Adiego, B. F., Salinas, M., & Betz, C. (2025). Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version).

Chicago Style (17th ed.) Citation

Lopez-Miguel, Ignacio D., Borja Fernández Adiego, Matias Salinas, and Christine Betz. Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended Version). 2025.

MLA (9th ed.) Citation

Lopez-Miguel, Ignacio D., et al. Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended Version). 2025.