×

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

最新的 引文 关联
吉安·卡洛·阿吉雷·萨姆博尼;斯特凡·哈尔;洛伊奇·波列维;斯特凡·施温;尼克·Würdemann

避免厄运：在Petri网中寻找悬崖配置。 （英语） Zbl 1530.68189号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370178-193（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.K.Aguirre-Samboní}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370178--193（2022年；Zbl 1530.68189）
全文： arXiv公司 链接
贝拉德，贝特里奇;斯特凡·哈尔;洛伊克·赫卢埃特

超偏序逻辑。 （英语） Zbl 1528.68209号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第20条，第21页（2018年）。
MSC公司：第68季度第60季度 03B70号 2006年6月 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。122，第20条，第21页（2018；Zbl 1528.68209）
全文： 内政部
尤拉杰·科尔查克;萨夫拉内克，大卫;斯特凡·哈尔;洛伊奇·波列维

参数布尔网络的展开。 （英语） Zbl 1529.92019年9月

Sanguinetti，Guido（编辑）等人，第七届静态分析和系统生物学国际研讨会论文集（SASB 2016），英国苏格兰爱丁堡大学，2016年9月7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。335, 67-90 (2018).
MSC公司：92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Kolák}等人，《电子》。注释Theor。计算。科学。335、67-90（2018年；Zbl 1529.92019）
全文： 内政部
安妮·布伊拉德;斯特凡·哈尔;西德尼·罗萨里奥

随机Petri网部分序展开中的关键路径。 （英语） Zbl 1262.68135号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，43-57（2009）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouillard}等人，莱克特。注释计算。科学。5813、43-57（2009年；Zbl 1262.68135）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件