P.A.Chubarev先生
人员信息
优化列表
2000 – 2009
2001 [j1] 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 亚历山大·V·拜斯特罗夫 , 谢尔盖·P·米尔尼科夫 , E.V.Okunshnikova公司 , P.A.Chubarev先生 , 塔蒂亚娜·丘里娜 :
使用高级Petri网验证Estelle指定的通信协议。 程序。 计算。 柔和。 27 ( 2 ) : 58-68 ( 2001 )