作　　者：Thomas Brihaye ;Florent Delgrange ;Youssouf Oualhadj 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-18.doi:10.4230/LIPIcs.CONCUR.2019.8

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

文 章 ID：238891916

作　　者：Patricia Bouyer ;Stphane Le Roux ;Youssouf Oualhadj 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:24:1-24:22.doi:10.4230/LIPIcs.CONCUR.2020.24

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

文 章 ID：255822883

作　　者：Nathanaël Fijalkow ;Hugo Gimbert ;Edon Kelmendi 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692233

作　　者：Rodica Condurache ;Youssouf Oualhadj ;Nicolas Troquard

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

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

文 章 ID：230213350

作　　者：Patricia Bouyer ;Stéphane Le Roux ;Youssouf Oualhadj 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-44.doi:10.46298/lmcs-18(1:11)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046950