×

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

每个GSPN的语义。 (英语) Zbl 1381.68199号

Colom,José-Manuel(编辑)等人,《Petri网和并发的应用和理论》。第34届国际会议,2013年6月24日至28日,意大利米兰,PETRI NETS 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38696-1/pbk)。计算机科学课堂讲稿7927,90-109(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

开放交互式马尔可夫链的验证。 (英语) Zbl 1354.68170号

D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,474-485(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫链的比较分支时间语义(扩展抽象)。 (英语) Zbl 1274.68264号

Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 492-507 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间马尔可夫链的近似符号模型检验。 (英语) Zbl 0934.03044号

Baeten,Jos C.M.(编辑)等人,CONCUR’99。并发理论。第十届国际会议,荷兰埃因霍温,1999年8月24日至27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1664, 146-161 (1999).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份