×

找到3个文档(结果1-3)

研究封闭分叉连接网络中稳态概率的收敛性。 (英语) Zbl 1305.68124号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲义6252143-157(2010)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段