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
Citace podle Chicago (17th ed.)Krcal, Pavel, Parosh Aziz Abdulla, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..