弱互模拟近似

威尔·哈伍德,法伦·莫勒,安东·塞泽尔.弱互模拟近似.佐尔坦·埃西克,编辑器,计算机科学逻辑,第20届国际研讨会,CSL 2006,第15届EACSL年会,塞格德,匈牙利,2006年9月25日至29日,会议记录.第4207卷,共页计算机科学讲义,页365-379、施普林格、,2006 [美国国防部]

摘要

缺少摘要。