Style de citation APA (7e éd.)

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).

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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