作 者:Radha Jagadeesan ;Alan Jeffrey ;Corin Pitcher 等
出 处:Logical Methods in Computer Science. 2008 ;4(01).doi:10.2168/LMCS-4(1:2)2008
出 版 社:Technical University of Braunschweig
文 章 ID:46838688