提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/pcs/NepomniaschyABMOCC01非盟-尼泊尔海军，瓦莱里A。AU-Alekseev，Gennady I。AU-拜斯特罗夫，亚历山大五世。AU-Mylnikov，Sergey P。AU-Okunshnikova，E.V.公司。澳大利亚-Chubarev，P.A。澳大利亚-Churina，Tatiana G。TI-使用高级Petri网验证Estelle指定的通信协议。JO-计划。计算。柔和。第27页为-2SP-58欧洲药典-682001年上半年//DO-10.1023/A:101011094609718UR-（欧元）https://doi.org/10.1023/A:1011094609718急诊室-