×

找到8个文档（结果1-8）

最新的 引文 关联
约书亚·萨克；张丽君

概率表征公式的一般框架。 （英语） Zbl 1326.68176号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148396-411（2012）。
MSC公司：65年第68季度 03B48号 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Sack}和\textit{L.Zhang}，Lect。注释计算。科学。7148396--411（2012年；Zbl 1326.68176）
全文： 内政部
宋磊；张丽君；Jens Chr.Godskesen。

互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。注释计算。科学。6901108-123（2011；Zbl 1344.68170）
全文： 内政部 链接
霍尔格·赫尔曼斯；比约恩·瓦希特；张丽君

概率CEGAR。 （英语） Zbl 1155.68438号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123162-175（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}等人，Lect。注释计算。科学。5123、162--175（2008年；Zbl 1155.68438）
全文： 内政部
张丽君；霍尔格·赫尔曼斯

决定概率自动机上的模拟。 （英语） Zbl 1141.68443号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762207-222（2007）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}和\textit{H.Hermanns}，Lect。注释计算。科学。4762，207--222（2007；Zbl 1141.68443）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件