https://dblp.org/pid/69/1291.html dblp个人页面RSS提要 2024年4月25日星期四01:10:33+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址https://dblp.org/pid/69/1291.html14451 https://doi.org/10.1007/978-3-540-74510-5_31瓦莱里·A·内波米纳希,根纳季·阿列克谢耶夫,维克托·阿尔吉洛夫,德米特里·贝洛格拉佐夫,亚历山大·V·拜斯特罗夫,尤金·切夫塔科夫,塔蒂亚娜·丘里娜,谢尔盖·梅尼科夫,鲁斯兰·诺维科夫:
改进的有色Petri网在SDL特定通信协议建模和验证中的应用。 企业社会责任 2007:303-314]]>https://dblp.org/rec/conf/csr/NepomniaschyAABBCCMN072007年1月1日星期一00:00:00+0100 https://doi.org/10.1023/A:1011094609718瓦莱里·A·内波米纳希,根纳季·阿列克谢耶夫,亚历山大·V·拜斯特罗夫,谢尔盖·梅尼科夫,E.V.Okunshnikova公司,P.A.Chubarev先生,塔蒂亚娜·丘里娜:
使用高级Petri网验证Estelle指定的通信协议。 程序。计算。柔和。 27(2):第58页至第68页(2001)]]>https://dblp.org/rec/journals/pcs/NepominaschyABMOCC012001年1月1日星期一00:00:00+0100 https://doi.org/10.1007/3-540-60222-4_100瓦莱里·A·内波米纳希,根纳季·阿列克谢耶夫,亚历山大·V·拜斯特罗夫,塔蒂亚娜·丘里娜,谢尔盖·梅尼科夫,E.V.Okunshnikova公司:
酯类特定通信协议的Petri网建模。 帕克托 1995:94-108]]>https://dblp.org/rec/conf/pact/NepominaschyABCMO951995年1月1日，星期日00:00:00+0100