摘要：概率多计数器系统中的定性和定量零可达性问题的研究
作者：Tom''av{s} Br''azdil, Stefan Kiefer, Anton''in Kuv{c}era, Petr Novotn''y, Joost-Pieter Katoen
论文ID：1401.6840
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-01-28
PDF 下载： 英文版 中文版pdf翻译中