Details for the publication ZhangJ16.

Lijun Zhang, David N. Jansen (): A space-efficient simulation algorithm on probabilistic automata. In Inf. Comput. 249:138-159, 2016. DOI BIB