卢西安·维希克和菲利普·加德纳：显式融合微积分的强互模拟。(2004) conf/fossacs/WischikG04 10.1007/978-3-540-24727-2_34 显式融合演算的强互模拟。 2 卢西安·维希克 1 菲利普·加德纳 2 484-498 FoSSaCS公司 FoSSaCS公司 2004 2004 dblp记录“conf/fossacs/WischikG04”的RDF数据的来源信息 2017-05-23T01:08:04+0200