提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/apsec/BastiasBR11澳大利亚-阿尔贝托巴斯蒂亚斯澳大利亚-比哈里，西德哈特AU-罗伊，苏曼TI-使用In-house Infosys工具建模的BPM流程的错误自动分析。2011年12月5日至8日，越南胡志明，第18届亚太软件工程会议，APSEC 2011SP-97EP-1052011年上半年//DO-10.1109/APSEC.2011.49UR-（欧元）https://doi.org/10.109/APSEC.2011.49UR-（欧元）https://doi.ieecomputersociety.org/10.1109/APSEC.2011.49急诊室-