Bouyer, P., Henry, L., Jaziri, S., Jéron, T., & Markey, N. (2021). Diagnosing timed automata using timed markings. International Journal on Software Tools for Technology Transfer, 23(2), 229. https://doi.org/10.1007/s10009-021-00606-2
Chicago Style (17th ed.) CitationBouyer, Patricia, Léo Henry, Samy Jaziri, Thierry Jéron, and Nicolas Markey. "Diagnosing Timed Automata Using Timed Markings." International Journal on Software Tools for Technology Transfer 23, no. 2 (2021): 229. https://doi.org/10.1007/s10009-021-00606-2.
MLA (9th ed.) CitationBouyer, Patricia, et al. "Diagnosing Timed Automata Using Timed Markings." International Journal on Software Tools for Technology Transfer, vol. 23, no. 2, 2021, p. 229, https://doi.org/10.1007/s10009-021-00606-2.