×

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

最新的 引文 关联
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
阿克沙伊，S。;保罗·加斯丁;卡提克·R·普拉卡什。

下推时间自动机可达性的快速区域算法。 （英语） Zbl 1493.68181号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 619-642 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。12759619--642（2021年；Zbl 1493.68181）
全文： 内政部 arXiv公司
曼弗雷德·德罗斯特;保罗·加斯丁

非周期加权自动机和加权一阶逻辑。 （英语） Zbl 07561720号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第76条，第15页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{P.Gastin}，LIPIcs——莱布尼茨国际程序。通知。138，第76条，第15页（2019年；Zbl 07561720）
全文： 内政部 arXiv公司
保罗·加斯丁;赛扬·穆克吉;Srivathsan，B。

对角线约束下时间自动机的可达性。 （英语） 兹比尔1520.68057

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第28条，第17页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}等人，LIPIcs——莱布尼茨国际程序。通知。118，第28条，第17页（2018；兹bl 1520.68057）
全文： 内政部 arXiv公司
玛丽·福廷;保罗·加斯丁

通过分裂宽度验证参数化通信自动机。 （英语） Zbl 1475.68182号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 197-213 (2016).
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}和\textit{P.Gastin}，莱克特。注释计算。科学。9634，197--213（2016；Zbl 1475.68182）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件