×

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

使用矩和半环对随机模型中的响应时间进行符号量化。 (英语) Zbl 1504.68071号

Baier,Christel(编辑)等人,《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018,作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10803, 403-419 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有畴壁边界条件的六顶点模型的精确解。 (英语) Zbl 1176.82006年

Sidoravičius,Vladas(编辑),数学物理学的新趋势。2006年8月5日至11日在巴西里约热内卢举行的第十六届国际数学物理大会的部分贡献。多德雷赫特:施普林格(ISBN 978-90-481-2809-9/hbk;978-90-4081-2810-5/电子书)。59-72 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份