文章基本信息
- 标题:Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
- 本地全文:下载
- 作者:Lijun Zhang ; Holger Hermanns ; Friedrich Eisenbrand 等
- 期刊名称:Logical Methods in Computer Science
- 印刷版ISSN:1860-5974
- 电子版ISSN:1860-5974
- 出版年度:2008
- 卷号:4
- 期号:04
- DOI:10.2168/LMCS-4(4:6)2008
- 出版社:Technical University of Braunschweig
- 关键词:Simulations;Algorithms;Markov Chains;Probabilistic Automata