APA (7th ed.) Citation

Henry, L., Jéron, T., & Markey, N. (2022). Control strategies for off-line testing of timed systems. Formal Methods in System Design, 60(2), 147. https://doi.org/10.1007/s10703-022-00403-w

Chicago Style (17th ed.) Citation

Henry, Léo, Thierry Jéron, and Nicolas Markey. "Control Strategies for Off-line Testing of Timed Systems." Formal Methods in System Design 60, no. 2 (2022): 147. https://doi.org/10.1007/s10703-022-00403-w.

MLA (9th ed.) Citation

Henry, Léo, et al. "Control Strategies for Off-line Testing of Timed Systems." Formal Methods in System Design, vol. 60, no. 2, 2022, p. 147, https://doi.org/10.1007/s10703-022-00403-w.