作　　者：Nicolas Basset ;Gilles Geeraerts ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:123:1-123:14.doi:10.4230/LIPIcs.ICALP.2017.123

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

文 章 ID：198372077

作　　者：Romain Brenguier ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:2:1-2:23.doi:10.4230/LIPIcs.CONCUR.2017.2

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

文 章 ID：200735168

作　　者：Nathalie Bertrand ;Nicolas Markey ;Suman Sadhukhan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.40

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

文 章 ID：257805110

作　　者：Claire Mathieu ;Ocan Sankur ;Warren Schudy

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:573-584.doi:10.4230/LIPIcs.STACS.2010.2486

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

文 章 ID：186845674

作　　者：Ocan Sankur ;Patricia Bouyer ;Nicolas Markey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:90-102.doi:10.4230/LIPIcs.FSTTCS.2011.90

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

文 章 ID：186845870

作　　者：Jean-Francois Raskin ;Ocan Sankur

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:531-543.doi:10.4230/LIPIcs.FSTTCS.2014.531

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

文 章 ID：186846631

作　　者：Romain Brenguier ;Jean-Fran{\c{c}}ois Raskin ;Ocan Sankur

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:100-113.doi:10.4230/LIPIcs.CONCUR.2015.100

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

文 章 ID：186847003

作　　者：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