×

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

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

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

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；兹bl 07643426）
全文： DOI程序 arXiv公司
阿克西，S。;保罗·加斯廷;Karthik 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）
全文： DOI程序 arXiv公司
保罗·加斯廷;赛扬·穆克吉;斯里瓦特桑，B。

对角线约束下时间自动机的可达性。 （英语） Zbl 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；Zbl 1520.68057）
全文： DOI程序 arXiv公司
阿克西，S。;保罗·加斯廷;桑卡拉·纳拉亚南·克里希纳;伊利亚斯·萨卡尔

面向一种高效的基于树自动机的定时系统技术。 （英语） Zbl 1442.68123号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第39条，第15页（2017年）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，LIPIcs——莱布尼茨国际程序。通知。85，第39条，第15页（2017年；Zbl 1442.68123）
全文： DOI程序 arXiv公司
贝内迪克特·博利格;保罗·加斯廷

加权逻辑与概率逻辑。 （英语） Zbl 1247.03067号

Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。计算机科学课堂讲稿5583，18-38（2009）。
MSC公司：05年3月 03年11月15日 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}和\textit{P.Gastin}，莱克特。注释计算。科学。5583，18-38（2009年；兹bl 1247.03067）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件