BibTeX记录：Sergey P.Mylnikov
下载为.bib文件
@进行中{DBLP:conf/csr/NepominaschyAABBCCMN07，author={瓦莱里·A·内波米纳希和Gennady I.Alekseev和维克托·阿尔吉洛夫和Dmitri M.Beloglazov和亚历山大·V·拜斯特罗夫和尤金·切夫塔科夫（Eugene A.Chetvertakov）和Tatiana G.Churina和谢尔盖·梅尼科夫和鲁斯兰·诺维科夫}，editor={Volker Diekert和米哈伊尔·沃尔科夫和安德烈·沃伦科夫}，title={改进的有色Petri网在建模和验证中的应用{SDL}指定通信协议}，booktitle={计算机科学-理论与应用，第二届国际研讨会俄罗斯计算机科学，{CSR}2007，俄罗斯叶卡捷琳堡，9月2007年3月7日，会议记录}，series={计算机科学讲稿}，体积＝{4649}，页数={303--314}，publisher={Springer}，年份={2007}，url={https://doi.org/10.1007/978-3-540-74510-5\_31},doi={10.1007/978-3-540-74510-5\31}，timestamp={2023年11月9日星期四20:20:35+0100}，biburl={https://dblp.org/rec/conf/csr/NepomniashyABBCCMN07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:期刊/pcs/NepomniaschyABMOCC01，author={瓦莱里·A·内波米纳希和Gennady I.Alekseev和亚历山大·V·拜斯特罗夫和谢尔盖·梅尼科夫和E.V.Okunshnikova和P.A.Chubarev和Tatiana G.Churina}，title={使用高级验证Estelle指定的通信协议Petri网}，日志={Program.Comput.Softw.}，体积={27}，数字={2}，页数={58--68}，年份={2001}，url={https://doi.org/10.1023/A:1011094609718},doi={10.1023/A:1011094609718}，timestamp={星期六，2023年9月30日01:00:00+0200}，biburl={https://dblp.org/rec/journals/pcs/NepominaschyABMOCC01.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/pact/NepomniaschyABCMO95，author={瓦莱里·A·内波米纳希和Gennady I.Alekseev和亚历山大·V·拜斯特罗夫和Tatiana G.Churina和谢尔盖·梅尼科夫和E.V.Okunshnikova}，editor={Victor E.Malyshkin}，title＝{Estelle指定通信协议的Petri网建模}，booktitle={并行计算技术，第三届国际会议，PaCT-95，俄罗斯圣彼得堡，1995年9月12日至25日，Proceedings}，series={计算机科学讲稿}，体积={964}，页数={94--108}，publisher={Springer}，年份={1995}，url={https://doi.org/10.1007/3-540-60222-4\_100}中，doi={10.1007/3-540-60222-4\_100}，timestamp={2019年12月16日星期一00:00:00+0100}，biburl={https://dblp.org/rec/conf/pact/NepomniaschyABCMO95.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
服务
