×

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

最新的 引文 关联
Anthony W·林。；鲁帕克·马朱姆达尔

具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 （英语） Zbl 1517.68319号

日志。方法计算。科学。 17，第4号，第4号文件，第20页（2021）.
MSC公司：68兰特 03B25号 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Lin}和\textit{R.Majumdar}，日志。方法计算。科学。17，第4期，第4号论文，20页（2021年；Zbl 1517.68319）
全文： arXiv公司 链接
鲁帕克·马朱姆达尔；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔

线性混合自动机的代数不变量。 （英语） Zbl 07559488号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第32条，第17页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，LIPIcs--Leibniz Int.Proc。通知。171，第32条，第17页（2020；Zbl 07559488）
全文： 内政部 arXiv公司
徐凯尔；鲁帕克·马朱姆达尔；考希·马利克；安妮·凯瑟琳·施穆克

基于惰性抽象的控制器综合。 （英语） 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公司
鲁帕克·马朱姆达尔；让-弗朗索瓦·拉斯金

非布尔域中的符号模型检查。 （英语） 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公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件