Deciding the value 1 problem for probabilistic leaktight automata

MLA

Nathanaël Fijalkow, et al. “Deciding the Value 1 Problem for Probabilistic Leaktight Automata.” Logical Methods in Computer Science, vol. ume 11, Issue 2, June 2015. EBSCOhost, https://doi.org/10.2168/LMCS-11(2:12)2015.

APA

Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, & Youssouf Oualhadj. (2015). Deciding the value 1 problem for probabilistic leaktight automata. Logical Methods in Computer Science, ume 11, Issue 2. https://doi.org/10.2168/LMCS-11(2:12)2015

Chicago

Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, and Youssouf Oualhadj. 2015. “Deciding the Value 1 Problem for Probabilistic Leaktight Automata.” Logical Methods in Computer Science ume 11, Issue 2 (June). doi:10.2168/LMCS-11(2:12)2015.