Details for the publication ZhangHEJ08.

Lijun Zhang, Holger Hermanns (), Friedrich Eisenbrand, David N. Jansen (): Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. In Log. Methods Comput. Sci. 4(4), 2008. DOI BIB