×

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

最新的 引文 关联
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克

在依存关系图验证中消除分离区域。 （英语） Zbl 07750361号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 163-179 (2023).
MSC公司：60年第68季度 03B44号 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13872，163-179（2023；Zbl 07750361）
全文： 内政部
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
尼克拉斯·约翰森。;Kr，Lasse B。;安德烈亚斯·马德森。;克里斯蒂安·尼尔森。;吉·斯尔巴;Rasmus G.托伦德。

Kaki：通过Petri博弈对常规策略进行并发更新综合。 （英语） Zbl 1502.68193号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 249-267 (2022).
MSC公司：68问题85 68M10个 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Johansen}等人，Lect。注释计算。科学。13274，249--267（2022；Zbl 1502.68193）
全文： 内政部
洛依茨海露;普拉奈阿格拉瓦尔

等待网。 （英语） Zbl 1499.68226号

Bernardinello，Luca（编辑）等人，Petri网和并发的应用和理论。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 67-89 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Hélouét}和\textit{P.Agrawal}，莱克托。注释计算。科学。13288，67-89（2022年；兹比尔1499.68226）
全文： 内政部 哈尔
艾曼纽尔·帕维奥德·阿代特;丹尼斯·波特雷诺;艾蒂安·雷诺;蒂里·米格（Yann Thierry-Mieg）

LTL在约简条件下比口吃不变性弱。 （英语） Zbl 1499.68204号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 170-187 (2022).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Paviot-Adet}等人，Lect。注释计算。科学。13273，170-187（2022；Zbl 1499.68204）
全文： 内政部 arXiv公司 哈尔
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby，Virenfeldt

自动驱动的部分订单缩减和LTL模型检查的引导搜索。 （英语） Zbl 1498.68160号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13182、151--173（2022年；Zbl 1498.68160）
全文： 内政部
亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。

有色Petri网展开的改进。 （英语） 兹伯利07670973

Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 69-84 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Bilgram}等人，Lect。注释计算。科学。13035，69-84（2021；Zbl 07670973）
全文： 内政部 arXiv公司
弗雷德里克·伯内兰。;彼得·詹森（Peter G.Jensen）。;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

针对时间可达性和安全游戏的顽固集缩减。 （英语） Zbl 07497999号

Dima，Catalin（编辑）等人，定时系统的形式化建模和分析。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，Lect。注释计算。科学。12860，32-49（2021；Zbl 07497999）
全文： 内政部
马丁·迪德里克森;彼得·詹森（Peter G.Jensen）。;乔纳森·昂勒。;安德烈·伊昂·卡托纳;桑奇·D·L·喇嘛。;弗雷德里克·洛特鲁普。;沙哈卜·沙贾拉特;吉·斯尔巴

通过Petri游戏自动合成暂时正确的网络更新。 （英语） Zbl 1489.68157号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 118-137 (2021).
MSC公司：68问题85 68M10个 60年第68季度 68兰特 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Didriksen}等人，Lect。注释计算。科学。12734、118--137（2021年；Zbl 1489.68157）
全文： 内政部
托尔斯滕·利布克;卡斯滕·沃尔夫

减轻显式CTL模型检查器的负担。 （英语） Zbl 07796230号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522321-341（2019年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛T.Liebke｝和\textit｛K.Wolf｝，Lect。注释计算。科学。11522、321--341（2019；Zbl 07796230）
全文： 内政部
维塔利施耐德;沃尔特·福格勒

模态开放Petri网。 （英语） Zbl 07796209号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 25-46 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Schneider}和\textit{W.Vogler}，莱克特。注释计算。科学。11522，25-46（2019；Zbl 07796209）
全文： 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

可达性博弈的部分降阶。 （英语） Zbl 07649931号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第23条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，LIPIcs——莱布尼茨国际程序。通知。140，第23条，第15页（2019年；Zbl 07649931）
全文： 内政部
阿克西，S。;Genest，B.基因。;Hélouét，L。

具有时间和紧迫性的无界Petri网的可判定类。 （英语） Zbl 1346.68125号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，301-322（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.Akshay｝等人，Lect。注释计算。科学。9698，301-322（2016；Zbl 1346.68125）
全文： 内政部
萨沃米尔·拉索塔

带数据Petri网的可判定边界：WQO二分法猜想。 （英语） Zbl 1346.68137号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，20-36（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Lasota}，莱克特。注释计算。科学。9698，20--36（2016；Zbl 1346.68137）
全文： 内政部
莫里斯·比克。;亚历山德罗·范特奇;斯特凡妮娅·格内西;佛朗哥，马赞蒂

产品族可变性建模和分析：具有可变性约束的模态转换系统的模型检查。 （英语） Zbl 1351.68170号

J.日志。阿尔盖布。方法计划。 85，第2期，287-315（2016）.
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，J.Log。阿尔盖布。方法计划。85，第2号，287--315（2016；Zbl 1351.68170）
全文： 内政部
泽维尔·阿拉米根;维亚尼·伯夫;圣埃芬·高伯特

紧急呼叫中心的性能评估：应用于定时Petri网的热带多项式系统。 （英语） Zbl 1465.68191号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 10-26 (2015).
MSC公司：68问题85 76N25号 90C24型
PDF格式BibTeX公司 XML格式引用
\textit{X.Allamigeon}等人，Lect。注释计算。科学。9268，10--26（2015；Zbl 1465.68191）
全文： 内政部 arXiv公司
罗尔夫·亨尼克;亚历山大·克纳普;马丁·威尔辛

通信安全组件系统的组装理论。 （英语） Zbl 1310.68057号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54847-5/pbk）。计算机科学课堂讲稿8415，145-160（2014）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}等人，Lect。注释计算。科学。8415，145-160（2014；Zbl 1310.68057）
全文： 内政部
乌里·法伦贝格;金·古德斯特兰·拉森;Legay、Axel;路易斯·马里·特劳努埃兹

模态转换系统的参数和定量扩展。 （英语） Zbl 1416.68121号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8415, 84-97 (2014).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。8415、84-97（2014年；Zbl 1416.68121）
全文： 内政部
何塞·安东尼奥·马特奥;吉·斯尔巴;瑟伦森，马蒂亚斯·格兰德

时间弧工作流网络的健全性。 （英语） Zbl 1334.90064号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-07733-8/pbk）。计算机科学课堂讲稿8489，51-70（2014）。
MSC公司：90B70型 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Mateo}等人，Lect。注释计算。科学。8489、51-70（2014年；Zbl 1334.90064）
全文： 内政部
雅各布森，拉塞;雅各布森，莫顿;米凯尔·H·默勒。;吉·斯尔巴

时弧Petri网的验证。 （英语） Zbl 1298.68175号

乔纳·伊万娜（编辑）等，《SOFSEM 2011：计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议，2011年1月22日至28日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18380-5/pbk）。计算机科学课堂讲稿6543，46-72（2011）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Jacobsen}等人，Lect。注释计算。科学。6543、46-72（2011年；Zbl 1298.68175）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件