APA (7th ed.) Citation

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 Style (17th ed.) Citation

Krcal, Pavel, Parosh Aziz Abdulla, and 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 (9th ed.) Citation

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.