×

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

寄存器中的标识符。用逻辑描述网络算法。 (英语) Zbl 1524.68211号

Bojañczyk,Mikołaj(编辑)等人,《软件科学和计算结构基础》。2019年4月6日至11日,作为欧洲软件理论与实践联席会议的一部分,第22届国际会议,FOSSACS 2019,在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11425, 115-132 (2019).
PDF格式BibTeX公司 XML格式引用

具有重叠轨迹的动力系统的有限互模拟。 (英语) Zbl 1528.68175号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第26条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权时间自动机中的符号最优可达性。 (英语) 兹比尔1411.68052

Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9779, 513-530 (2016).
PDF格式BibTeX公司 XML格式引用

随机时间自动机的组合设计。 (英语) Zbl 1475.68146号

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9691, 117-130 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机中的鲁棒控制器综合。 (英语) Zbl 1390.68416号

D’Argenio,Pedro R.(编辑)等人,CONCUR 2013——并发理论。第24届国际会议,CONCUR 2013,阿根廷布宜诺斯艾利斯,2013年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40183-1/pbk)。计算机科学课堂讲稿8052,546-560(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有有序目标的并发游戏。 (英语) Zbl 1352.68177号

Birkedal,Lars(编辑),软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012,该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28728-2/pbk)。计算机科学课堂讲稿7213,301-315(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间Petri网和时间自动机:Zeno序列的鉴别能力。 (英语) Zbl 1133.68383号

Bugliesi,Michele(编辑)等人,《自动化,语言和编程》。2006年7月10日至14日,意大利威尼斯,第33届国际学术讨论会,ICALP 2006。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-35907-4/pbk)。计算机科学课堂讲稿4052420-431(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

数据和定时语言的代数特征。 (英语) Zbl 1006.68078号

Larsen,Kim G.(编辑)等人,《CONCUR 2001-并发理论》。第十二届国际会议,丹麦奥尔堡,2001年8月20日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2154, 248-261 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

可更新时间自动机的表达。 (英语) Zbl 0996.68121号

尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 232-242 (2000).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份