作　　者：Jancar Petr ;Prateek Karandikar ;Philippe Schnoebelen

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:2)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692230

作　　者：Prateek Karandikar ;Philippe Schnoebelen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:84-97.doi:10.4230/LIPIcs.FSTTCS.2015.84

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847177

作　　者：Prateek Karandikar ;Philippe Schnoebelen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:37:1-37:22.doi:10.4230/LIPIcs.CSL.2016.37

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847953