作 者: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
作 者:Jos{\'e}e Desharnais ;Radha Jagadeesan
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:0:i-0:xxii.doi:10.4230/LIPIcs.CONCUR.2016.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847559