作　　者：Javier Esparza ;Loig Jezequel ;Stefan Schwoon

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:225-236.doi:10.4230/LIPIcs.FSTTCS.2013.225

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

文 章 ID：186846410

作　　者：Loig Jezequel ;Didier Lime

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:17:1-17:14.doi:10.4230/LIPIcs.CONCUR.2016.17

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

文 章 ID：186847576