作　　者：Laure Daviaud ;Marcin Jurdzinski ;Ranko Lazic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:121:1-121:14.doi:10.4230/LIPIcs.ICALP.2018.121

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

文 章 ID：220014912

作　　者：Paul Hunter ;Guillermo A. P{\'e}rez ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:114-127.doi:10.4230/LIPIcs.CONCUR.2015.114

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

文 章 ID：186847004

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:293-306.doi:10.4230/LIPIcs.FSTTCS.2015.293

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

文 章 ID：186847192

作　　者：Paul Hunter ;Guillermo A. P{\'e}rez ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:30:1-30:17.doi:10.4230/LIPIcs.CSL.2016.30

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

文 章 ID：186847947

作　　者：Romain Brenguier ;Guillermo A. P{\'e}rez ;Jean-Francois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:42:1-42:14.doi:10.4230/LIPIcs.FSTTCS.2016.42

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

文 章 ID：186848162

作　　者：Jan Kret{\'i}nsk{\'y ;Guillermo A. P{\'e}rez ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-18.doi:10.4230/LIPIcs.CONCUR.2018.8

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

文 章 ID：230213320