康嘉文;白、云君;焦、李 Petri网基于抽象的增量归纳覆盖性。 （英语） Zbl 1489.68162号 Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第12734页，第379-398页（2021年）。MSC公司：68问题85 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.Kang}等人，Lect。注释计算。科学。12734、379--398（2021年；Zbl 1489.68162） 全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。;奥托普，简 状态向量加法系统的多维长期平均问题。 （英语） Zbl 07559479号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第23条，第22页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。171，第23条，22 p.（2020；Zbl 07559479） 全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格。;奥托普，简 带状态向量加法系统的长期平均行为。 （英语） Zbl 07649935号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第27条，第16页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第27条，第16页（2019年；Zbl 07649935） 全文： 内政部 arXiv公司
布隆丁，迈克尔;阿兰·芬克尔;皮埃尔·麦肯齐 处理无限分支结构良好的转换系统。 （英语） Zbl 1383.68054号 Inf.计算。 258, 28-49 (2018).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，《信息计算》。258、28-49（2018；Zbl 1383.68054） 全文： 内政部
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 \（\text｛Para｝^2 \）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 （英语） Zbl 1380.68279号 形式方法系统。设计。 51，第2期，270-307（2017）.MSC公司：60年第68季度 64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，《形式方法系统》。设计。51，第2号，270--307（2017；Zbl 1380.68279） 全文： 内政部
亚历山大皇帝;丹尼尔·克罗宁;托马斯·沃尔 迷失在抽象中：多线程程序中的单调性。 （英语） Zbl 1355.68055号 Inf.计算。 252, 30-47 (2017).MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaiser}等人，《信息计算》。252、30--47（2017年；Zbl 1355.68055） 全文： 内政部