Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
复制标题
准生死过程、树状 QBD、概率 1 计数器自动机和下推系统
DOI:
10.1016/j.peva.2009.12.009
复制
发表时间:
2010
影响因子:
2.2
通讯作者:
Etessami K
中科院分区:
文献类型:
--
作者:
Etessami K
登录
查看更多内容
DOI:
--
发表时间:
2003
期刊:
影响因子:
--
作者:
B. V. Houdt;C. Blondia
通讯作者:
C. Blondia
DOI:
--
发表时间:
1995
期刊:
影响因子:
--
作者:
T. Takine;B. Sengupta;R. Yeung
通讯作者:
R. Yeung
DOI:
--
发表时间:
2001
期刊:
影响因子:
--
作者:
A. Ost
通讯作者:
A. Ost
DOI:
--
发表时间:
2006
期刊:
SMCtools '06
影响因子:
--
作者:
Dario Bini;B. Meini;S. Steffé;B. Van Houdt
通讯作者:
B. Van Houdt
DOI:
10.1109/sfcs.2005.19
发表时间:
2005
期刊:
46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05)
影响因子:
--
作者:
T. Brázdil;J. Esparza;A. Kucera
通讯作者:
A. Kucera