André, É. (2019). What’s decidable about parametric timed automata? International journal on software tools for technology transfer, 21(2), 203-219. https://doi.org/10.1007/s10009-017-0467-0
Chicago-Zitierstil (17. Ausg.)André, Étienne. "What’s Decidable About Parametric Timed Automata?" International Journal on Software Tools for Technology Transfer 21, no. 2 (2019): 203-219. https://doi.org/10.1007/s10009-017-0467-0.
MLA-Zitierstil (9. Ausg.)André, Étienne. "What’s Decidable About Parametric Timed Automata?" International Journal on Software Tools for Technology Transfer, vol. 21, no. 2, 2019, pp. 203-219, https://doi.org/10.1007/s10009-017-0467-0.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.