APA (7th ed.) Citation

de Maeyer, R., Hermanns, H., & Maggio, M. (2026). Over-approximation of weakly-hard constraints for control systems verification (Extended).

Chicago Style (17th ed.) Citation

de Maeyer, Rieke, Holger Hermanns, and Martina Maggio. Over-approximation of Weakly-hard Constraints for Control Systems Verification (Extended). 2026.

MLA (9th ed.) Citation

de Maeyer, Rieke, et al. Over-approximation of Weakly-hard Constraints for Control Systems Verification (Extended). 2026.