出 处:German Law Journal. 2011 ;12(7):1492-1509.doi:10.1017/S2071832200017405
出 版 社:Cambridge University Press
文 章 ID:255224078
作 者:Lijun Zhang ;David Jansen ;Flemming Nielson 等
出 处:Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:17)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691996