×

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

最新的 引文 相关性
贝内迪克特·博利格;阿诺德·桑尼尔;奥利维尔·斯蒂特尔

具有数据的局部一阶逻辑的存在片段。 （英语） Zbl 1530.68125号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370，1-16（2022）。
MSC公司：19年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370，1--16（2022；Zbl 1530.68125）
全文： arXiv公司 链接
贝内迪克特·博利格;玛丽·福廷;保罗·加斯廷

通信有限状态机和双变量逻辑。 （英语） Zbl 1487.68140号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第17条，第14页（2018年）。
MSC公司：65年第68季度 03B70号 05年3月 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。96，第17条，第14页（2018；Zbl 1487.68140）
全文： DOI程序 arXiv公司
贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔

平冻LTL的复杂性。 （英语） Zbl 1442.68102号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第33条，第16页（2017年）。
MSC公司：60年第68季度 03B44号 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。85，第33条，第16页（2017年；兹bl 1442.68102）
全文： DOI程序
贝内迪克特·博利格

并发系统的自动化和逻辑：五页五个模型。 （英语） Zbl 1465.68133号

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 3-12 (2015).
MSC公司：65年第68季度 05年3月 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。9223，3-12（2015；Zbl 1465.68133）
全文： DOI程序
贝内迪克特·博利格

捕获EMSO逻辑的数据字自动机。 （英语） Zbl 1343.68153号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义690171-186（2011）。
MSC公司：60年第68季度 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。6901171-186（2011年；兹bl 1343.68153）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件