APA (7th ed.) Citation

WIMMER, R., JANSEN, N., ÁBRAHÁM, E., & KATOEN, J. (2015). HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA. Logical Methods in Computer Science (LMCS), 11(1), 1. https://doi.org/10.2168/LMCS-11(1:15)2015

Chicago Style (17th ed.) Citation

WIMMER, RALF, NILS JANSEN, ERIKA ÁBRAHÁM, and JOOST-PIETER KATOEN. "HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA." Logical Methods in Computer Science (LMCS) 11, no. 1 (2015): 1. https://doi.org/10.2168/LMCS-11(1:15)2015.

MLA (9th ed.) Citation

WIMMER, RALF, et al. "HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA." Logical Methods in Computer Science (LMCS), vol. 11, no. 1, 2015, p. 1, https://doi.org/10.2168/LMCS-11(1:15)2015.