提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:journals/entcs/PintoDG15澳大利亚-平托，佩德罗·达罗查AU-丁斯代尔·杨，托马斯澳大利亚-菲利普·加德纳TI-并发模块模块规范中的步骤（受邀教程论文）。BT-第31届编程语义数学基础会议，2015年MFPS，荷兰奈梅亨，2015年6月22日至25日SP-3EP-182015年上半年//DO-2016年10月10日/J.ENTCS.2015.12.002UR-（欧元）https://doi.org/10.1016/j.entcs.2015.12.002UR-（欧元）https://www.wikidata.org/entity/Q113317742急诊室-