提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/scc/AlegriaBB10非盟-阿莱格里亚，胡里奥·阿里尔·赫塔多澳大利亚-巴斯塔利卡，M.Cecilia澳大利亚-贝格尔，亚历山大TI-使用AVISPA分析Scrum过程模型。BT-SCCC 2010，智利计算机科学学会第二十九届国际会议记录，智利安托法加斯塔，2010年11月15日至19日SP-60EP-652010年上半年//DO-10.1109/SCC.2010.18UR-（欧元）https://doi.org/10.1109/SCC.2010.18UR-（欧元）https://doi.ieecomputersociety.org/10.1109/SCC.2010.18急诊室-