Valery A.Nepominaschy等人：使用高级Petri网验证Estelle指定的通信协议。(2001) 期刊/pcs/NepomniaschyABMOCC01 10.1023/A:1011094609718 使用高级Petri网验证Estelle指定的通信协议。 7 瓦莱里·A·内波米纳希 1 Gennady I.Alekseev先生 2 亚历山大·V·拜斯特罗夫 三 谢尔盖·梅尼科夫 4 E.V.Okunshnikova公司 5 P.A.Chubarev先生 6 塔蒂亚娜·丘里娜 7 58-68 程序。计算。柔和。 程序。计算。柔和。 27 2 2001 dblp记录“journals/pcs/NepominaschyABMOCC01”的RDF数据的来源信息 2023-09-30T10:23:29+0200