×

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

最新 引文 相关性
杰里米·斯普洛斯顿

具有一个时钟和初始化的时钟相关概率的概率时间自动机。 （英语） Zbl 1511.68140号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，DisCoTec 2020，马耳他瓦莱塔，2020年6月15日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 150-168 (2020).
MSC公司：65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。12136，150--168（2020；Zbl 1511.68140）
全文： 内政部
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔

概率可达性约束的Farkas证书和最小见证人。 （英语） Zbl 1507.68187号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187）
全文： 内政部 arXiv公司
穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库

基于场景的不确定MDP验证。 （英语） Zbl 1507.68182号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 287-305 (2020).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Cubuktepe}等人，Lect。注释计算。科学。12078，287--305（2020；Zbl 1507.68182）
全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;苏德贾尼，萨代格;马吉德·扎马尼

大规模随机系统的合成抽象：一种松弛耗散方法。 （英语） Zbl 1441.93293号

非线性分析。，混合系统。 36，文章ID 100880，24 p.（2020）.
MSC公司：93E03型 93年1月15日 93C55美元 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Lavaei}等人，《非线性分析》。，混合系统。36，文章ID 100880，24 p.（2020；Zbl 1441.93293）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前3名

主字段

全部的 前3名

软件