提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/coordination/KatisSW00澳大利亚-卡蒂斯，皮耶朱利奥澳大利亚-萨巴迪尼，尼科莱塔澳大利亚-Walters，Robert F.C。TI-IWIM模型的形式化。BT-协调语言和模型，第四届国际会议，Coordination 2000，利马索尔，塞浦路斯，2000年9月11-13日，会议记录SP-267号EP-2832000年上半年//DO-2007年10月10日/3-540-45263-X17UR-（欧元）https://doi.org/10.1007/3-540-45263-X_17急诊室-