提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-纸张ID-DBLP:conf/fossacs/WischikG04AU-卢西安·维希克澳大利亚-菲利普·加德纳显式融合演算的TI-强互模拟。BT-软件科学和计算结构基础，第七届国际会议，FOSSACS 2004，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2004，西班牙巴塞罗那，2004年3月29日至4月2日，会议记录第484页EP-4982004年上半年//DO-2007年10月10日/978-3-540-24727-2_34UR-（欧元）https://doi.org/10.1007/978-3-540-24727-2_34急诊室-