×

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

最新的 引文 关联
徐凯尔;鲁帕克·马朱姆达尔;考希·马利克;安妮·凯瑟琳·施穆克

基于惰性抽象的控制器综合。 （英语） Zbl 1447.93060号

Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 23-47 (2019).
MSC公司：93B30型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Hsu}等人，Lect。注释计算。科学。11781、23-47（2019年；Zbl 1447.93060）
全文： 内政部 arXiv公司
鲁帕克·马朱姆达尔;Jean-François拉斯金

非布尔域中的符号模型检查。 （英语） Zbl 1392.68259号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1111-1147 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}和\textit{J.-F.Raskin}，in：模型检查手册。查姆：斯普林格。1111--1147（2018；Zbl 1392.68259）
全文： 内政部
Ondřej Lengál;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默

参数化概率并发系统的公平终止。 （英语） Zbl 1452.68127号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 499-517 (2017).
MSC公司：68问题85 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Lengál}等人，Lect。注释计算。科学。10205499--517（2017；Zbl 1452.68127）
全文： 内政部 arXiv公司 链接
克里希南德·查特吉;鲁帕克·马朱姆达尔

欧米伽规则目标的最小注意力控制器综合。 （英语） Zbl 1348.68096号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，145-159（2011）。
MSC公司：65年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{R.Majumdar}，莱克特。注释计算。科学。6919、145--159（2011年；Zbl 1348.68096）
全文： 内政部
迈克尔·埃米;兰吉特·贾拉;埃迪·科勒;鲁帕克·马朱姆达尔

验证引用计数实现。 （英语） Zbl 1234.68254号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505352-367（2009）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Emmi}等人，Lect。注释计算。科学。5505352-367（2009年；Zbl 1234.68254）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件