Probabilistic ω-Automata.

MLA

Baier, Christel, et al. “Probabilistic ω-Automata.” Journal of the ACM, vol. 59, no. 1, Feb. 2012, p. 1–1:52. EBSCOhost, https://doi.org/10.1145/2108242.2108243.

APA

Baier, C., Grösser, M., & Bertrand, N. (2012). Probabilistic ω-Automata. Journal of the ACM, 59(1), 1–1:52. https://doi.org/10.1145/2108242.2108243

Chicago

Baier, Christel, Marcus Grösser, and Nathalie Bertrand. 2012. “Probabilistic ω-Automata.” Journal of the ACM 59 (1): 1–1:52. doi:10.1145/2108242.2108243.