Krcal, P., Abdulla, P. A., & Yi, W. (2010). Sampled Semantics of Timed Automata. Logical methods in computer science, 6, Issue 3(3), 14:1. https://doi.org/10.2168/LMCS-6(3:14)2010
Chicago-Zitierstil (17. Ausg.)Krcal, Pavel, Parosh Aziz Abdulla, und Wang Yi. "Sampled Semantics of Timed Automata." Logical Methods in Computer Science 6, Issue 3, no. 3 (2010): 14:1. https://doi.org/10.2168/LMCS-6(3:14)2010.
MLA-Zitierstil (9. Ausg.)Krcal, Pavel, et al. "Sampled Semantics of Timed Automata." Logical Methods in Computer Science, vol. 6, Issue 3, no. 3, 2010, p. 14:1, https://doi.org/10.2168/LMCS-6(3:14)2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.