×

找到233个文档（结果1-100）

最新的 引文 关联
丘克里·苏伊迪;伊利耶斯·法尔科内

声音并发跟踪用于在线监测。 （英语） Zbl 07750356号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 59-80 (2023).
MSC公司：68问题85 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Soueidi}和\textit{Y.Falcone}，莱克特。注释计算。科学。13872，59-80（2023；Zbl 07750356）
全文： 内政部 arXiv公司 哈尔
约坦·德维尔;奥哈德·卡玛;奥里·拉哈夫

共享状态并发的代数理论。 （英语） 兹比尔1524.68055

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658，3-24（2022）。
MSC公司：68甲15 68N20型 68号30 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.Dvir}等人，Lect。注释计算。科学。13658，3--24（2022；Zbl 1524.68055）
全文： 内政部 链接
Manuel Gieseking先生;奥尔德罗格（Ernst-Rüdiger Olderog）

Petri游戏基准系列的高级表示。 （英语） Zbl 1522.68364号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 115-137 (2022).
MSC公司：68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gieseking}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13030115--137（2022；Zbl 1522.68364）
全文： 内政部 arXiv公司
斯文·施奈德;玛丽亚，马克西莫娃;霍尔格·吉斯

使用（k）-归纳法对多智能体图变换系统进行不变量分析。 （英语） 兹比尔1514.68093

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 173-192 (2022).
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}等人，Lect。注释计算。科学。13349，173--192（2022；Zbl 1514.68093）
全文： 内政部
保罗·汉尼拔;奥尔德罗格（Ernst-Rüdiger Olderog）

重复通信Petri对策的综合问题。 （英语） Zbl 1499.68225号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。2022年6月19日至24日，第43届国际会议，PETRI NETS 2022，挪威卑尔根。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hannibal}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13288，236--257（2022；Zbl 1499.68225）
全文： 内政部
阿玛斯·塞万提斯;法博德·塔莫里

从事件日志中发现未发现的行为。 （英语） Zbl 1499.68217号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 23-42 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Armas Cervantes}和\textit{F.Taymouri}，莱克特。注释计算。科学。13288，23-42（2022；Zbl 1499.68217）
全文： 内政部
萨米·阿贝斯

确定性并发系统。 （英语） Zbl 1489.68148号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 423-442 (2021).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Abbes}，莱克特。注释计算。科学。12734、423——442（2021年；Zbl 1489.68148）
全文： 内政部 arXiv公司
努林，Lhouari;西蒙·维尔明

闭包系统中最大一致闭集的枚举。 （英语） Zbl 07493552号

Braud，Agnès（编辑）等人，《形式概念分析》。2021年6月29日至7月2日，法国斯特拉斯堡，第16届国际会议，ICFCA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12733, 57-73 (2021).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{L.Nourine}和\textit{S.Vilmin}，莱克特。注释计算。科学。12733，57-73（2021；Zbl 07493552）
全文： 内政部 arXiv公司 哈尔
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna

实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号

Yamashita，Shigeru（编辑）等人，可逆计算。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486）
全文： 内政部 哈尔
雨果·帕奎特

贝叶斯策略：作为通用图形模型的概率程序。 （英语） Zbl 1473.68054号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 519-547 (2021).
MSC公司：68号30 62H22个 68甲15 68甲19 第68季度55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{H.Paquet}，莱克特。注释计算。科学。12648、519--547（2021；Zbl 1473.68054）
全文： 内政部
OA许可证
罗伯托·戈里埃里

BPP网络团队互模拟研究。 （英语） 兹比尔1498.68185

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152153-175（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}，莱克特。注释计算。科学。12152，153--175（2020；Zbl 1498.68185）
全文： 内政部
乌戈·德利古罗;埃尔南·梅尔格拉蒂;埃米利奥·托斯托

朝着重新设计的舞蹈设计迈进。 （英语） Zbl 1477.68178号

Lange，Julien（编辑）等人，《第13届交互和并发体验研讨会论文集》，ICE’20，在线，2020年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32461-77（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.de'Liguoro}等人，《电子》。程序。西奥。计算。科学。（EPTCS）324，61--77（2020；Zbl 1477.68178）
全文： arXiv公司 链接
埃里克·古堡;塞缪尔·米姆拉姆

非正弯曲空间中的有向同伦。 （英语） Zbl 1496.68225号

日志。方法计算。科学。 16，第3号，第4号论文，55页（2020年）.
审核人：菲利普·高彻（巴黎）
MSC公司：68问题85 18日第15天 54E35个 55单位35 2012年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{埃里·古堡}和\textit{S.Mimram}，日志。方法计算。科学。16，第3号，第4号论文，55页（2020年；Zbl 1496.68225）
全文： arXiv公司 链接
乌鸦·贝特纳;伯恩德·芬克贝纳;赫金·哈布什，杰斯科

将异步游戏转换为分布式合成。 （英语） Zbl 07649934号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第26条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Beutner}等人，LIPIcs——莱布尼茨国际程序。通知。140，第26条，第16页（2019年；Zbl 07649934）
全文： 内政部 arXiv公司
马克·德·维斯梅;格林·温斯克尔

因果展开。 （英语） Zbl 07649892号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第9条，第18页（2019）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.De Visme}和\textit{G.Winskel}，LIPIcs——莱布尼茨国际程序。通知。139，第9条，第18页（2019年；Zbl 07649892）
全文： 内政部
杰雷米·查洛平;维克托·切波伊;谢·莫兰;曼弗雷德·沃穆特。

未标记的样本压缩方案和角剥离，用于丰富和最大类别。 （英语） Zbl 07561527号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第34条，第15页（2019年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Chalopin}等人，LIPIcs——莱布尼茨国际程序。通知。132，第34条，第15页（2019年；Zbl 07561527）
全文： 内政部
丹尼尔·戈拉;伊万诺·萨尔沃;阿道夫·皮佩尔诺

事件结构中的冲突与因果关系。 （英语） 兹比尔07449996

Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300，86-101（2019）。
MSC公司：第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}等人，《电子》。程序。西奥。计算。科学。（EPTCS）300，86-101（2019；Zbl 07449996）
全文： 链接
奥赞·卡拉马诺·乌拉尔

化学反应网络模型的定量比较。 （英语） 兹比尔1483.68122

De Angelis，Emanuele（ed.）等人，《第六次Horn子句验证与合成研讨会论文集》，HCVS 2019，以及第三次程序等效与关系推理研讨会论文集，2019年4月6日至7日，捷克共和国布拉格，PERR 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）296，14-27（2019）。
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kahramanoullar}，电子。程序。西奥。计算。科学。（EPTCS）296，14-27（2019；Zbl 1483.68122）
全文： arXiv公司 链接
高雄市林市

计算CAT（0）立方复数测地线的多项式时间算法。 （英语） Zbl 1474.68423号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动机、语言和编程国际学术讨论会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第78条，第14页（2018年）。
MSC公司：68单位05
PDF格式BibTeX公司 XML格式引用
\textit{K.Hayashi}，LIPIcs——莱布尼茨国际程序。通知。107，第78条，第14页（2018；Zbl 1474.68423）
全文： 内政部 arXiv公司
萨米·阿贝斯

1-安全Petri网中的一致随机生成。 （英语） Zbl 1423.68303号

Fédou，Jean-Marc（编辑）等，组合结构的随机生成——GASCom 2016。2016年6月1日至6月4日，法国科西嘉岛拉马拉那IGESA中心第十届GASCom会议记录。阿姆斯特丹：爱思唯尔。电子。注释离散数学。59, 3-17 (2017).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Abbes｝，电子。注释离散数学。59、3-17（2017年；Zbl 1423.68303）
全文： 内政部 arXiv公司
阿德里安港

并发提供最小的过程表示。 （英语） Zbl 1486.68115号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226242-257（2017年）。
MSC公司：68问题85 06年06月06日 2015年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{A.Puerto}，莱克特。注释计算。科学。10226、242--257（2017；Zbl 1486.68115）
全文： 内政部
最好的，艾克;格里博夫斯卡娅，纳塔利娅;伊琳娜Virbitskaite

非对称冲突事件结构的基于配置和残差的转换系统。 （英语） Zbl 1444.68113号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 132-146 (2017).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}等人，Lect。注释计算。科学。10139，132--146（2017；Zbl 1444.68113）
全文： 内政部
Virbitskaite，I.B.公司。;博罗夫列夫，V.A。;波波瓦·齐格曼。

离散时间Petri网的“真正并发”和非确定性语义。 （英语。俄文原件） Zbl 1451.68194号

程序。计算。柔和。 42，第4期，187-197（2016）；译自Programmirovanie 42，No.4，4-16（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}等人，程序。计算。柔和。42，No.4，187--197（2016；Zbl 1451.68194）；译自Programmirovanie 42，No.4，4--16（2016）
全文： 内政部
安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯

调度程序和完成程序：关于生成事件结构的行为。 （英语） Zbl 1400.68138号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965121-138（2016）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{A.McIver}等人，Lect。注释计算。科学。9965，121--138（2016；Zbl 1400.68138）
全文： 内政部
伊琳娜Virbitskaite;维克托·博罗夫利奥夫;波波瓦·齐格曼（Louchka Popova-Zeugmann）

定时Petri网的分支过程。 （英语） 兹比尔1461.68138

Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609303-313（2016年）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{I.Virbitskaite}等人，Lect。注释计算。科学。9609303-313（2016；Zbl 1461.68138）
全文： 内政部
Hirai、Hiroshi;泰和奥基

（k）-子模函数极小值的一种紧表示（扩展抽象）。 （英语） Zbl 1455.90134号

Cerulli，Raffaele（编辑）等人，《组合优化》。2016年5月16日至18日，第四届国际研讨会，ISCO，意大利，Vietri sul Mare。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9849, 381-392 (2016).
审核人：Svetlana A.Kravchenko（明斯克）
MSC公司：90C27型 90-06 06-08 2011年1月6日 2012年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{H.Hirai}和\textit{T.Oki}，莱克特。注释计算。科学。9849，381--392（2016；Zbl 1455.90134）
全文： 内政部
埃尔南Ponce-de-León;安德烈·莫霍夫

在偏序集合之间建立桥梁。 （英语） Zbl 1451.68193号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日，第九届国际会议，LATA 2015，法国尼斯。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 145-160 (2015).
MSC公司：68问题85 06年06月06日
PDF格式BibTeX公司 XML格式引用
\textit{H.Ponce-de-León}和\textit{A.Mokhov}，Lect。注释计算。科学。8977，145-160（2015；Zbl 1451.68193）
全文： 内政部 哈尔
罗布·范·格拉贝克。

结构保持双相似性，支持CCSP的操作Petri网语义。 （英语） Zbl 1444.68125号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 99-130 (2015).
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.van Glabbeek}，莱克特。注释计算。科学。9360，99-130（2015；Zbl 1444.68125）
全文： 内政部 arXiv公司
西比尔Fröschle

因果关系、行为等效性和网络物理系统的安全性。 （英语） Zbl 1444.68041号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 83-98 (2015).
MSC公司：68平方米25 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本{S.Fröschle}，勒克特。注释计算。科学。9360，83-98（2015；Zbl 1444.68041）
全文： 内政部
马龙·杜马;卢西亚诺加西亚·巴努埃洛斯

流程挖掘重新加载：事件结构是流程模型和事件日志的统一表示。 （英语） Zbl 1432.68304号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 33-48 (2015).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Dumas}和\textit{L.García-Bañuelos}，Lect。注释计算。科学。9115，33-48（2015；Zbl 1432.68304）
全文： 内政部
安德烈亚·科拉迪尼;里贝罗，莱拉;费尔南多·多蒂;蒙迪扎巴尔，奥多里科

延迟更新复制技术的正式模型。 （英语） Zbl 1348.68043号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358，235-253（2014）。
MSC公司：第68页，共15页 64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。8358235-253（2014年；Zbl 1348.68043）
全文： 内政部
托马斯·查泰恩;斯特凡·哈尔

安全Petri网的规范收缩。 （英语） Zbl 1428.68199号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。莱克特。注释计算。科学。8910, 83-98 (2014).
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{T.Chatain}和\textit{S.Haar}，莱克特。注释计算。科学。8910，83-98（2014年；兹比尔1428.68199）
全文： 内政部
Bernardinello，卢卡;科伦萨，哥尔基姆;伊丽莎白·曼吉奥尼;露西娅·波梅尔

通过组合Petri网对分布式私钥生成进行建模。 （英语） Zbl 1428.68196号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。莱克特。注释计算。科学。8910, 19-40 (2014).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bernardinello}等人，Lect。注释计算。科学。8910，19-40（2014；Zbl 1428.68196）
全文： 内政部
Polyvyany，Artem公司;马蒂亚斯·威德利奇;拉斐尔·孔福尔蒂;马塞洛·拉罗莎;阿瑟·霍夫斯泰德。

并发系统基本行为关系的4C谱。 （英语） Zbl 1393.68123号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-07733-8/pbk）。计算机科学课堂讲稿8489210-232（2014）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Polyvyany}等人，Lect。注释计算。科学。8489210-232（2014年；Zbl 1393.68123）
全文： 内政部 链接
保罗·巴尔丹;阿尔贝托·卡拉罗

通过展开不干涉。 （英语） Zbl 1334.68144号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-07733-8/pbk）。计算机科学8489190-209讲义（2014）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}和\textit{A.Carraro}，莱克特。注释计算。科学。8489190-209（2014年；Zbl 1334.68144）
全文： 内政部
乔瓦尼·卡苏;米歇尔·平纳

多锁网络的流展开。 （英语） Zbl 1410.68248号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 170-189 (2014).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Casu}和\textit{G.M.Pinna}，莱克特。注释计算。科学。8489170--189（2014年；Zbl 1410.68248）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件