提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/csr/NepominaschyAABBCCMN07非盟-尼泊尔海军，瓦莱里A。AU-Alekseev，Gennady I。AU-Argirov，Victor S。AU-Beloglazov，Dmitri M。AU-拜斯特罗夫，亚历山大五世。AU-切夫塔科夫，尤金·A。澳大利亚-Churina，Tatiana G。AU-Mylnikov，Sergey P。AU-Novikov，Ruslan M。TI-改进的彩色Petri网在SDL特定通信协议建模和验证中的应用。BT-计算机科学-理论与应用，第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日，会议记录SP-303型欧洲药典-3142007年上半年//执行-10.1007/978-3-540-74510-5_31UR-（欧元）https://doi.org/10.1007/978-3-540-74510-5_31急诊室-