作　　者：Montanari, Angelo ;Puppis, Gabriele ;Sala, Pietro 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5.doi:10.4230/LIPIcs.STACS.2010.2488

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

文 章 ID：87958884

作　　者：Puppis, Gabriele ;Muscholl, Anca ;Gauwin, Olivier 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:22)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1024654173

作　　者：Grez, Alejandro ;Mazowiecki, Filip ;Pilipczuk, Michał 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;214.doi:10.4230/LIPIcs.IPEC.2021.20

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

文 章 ID：1037089229