作　　者：Diego Figueira ;Varun Ramanathan ;Pascal Weil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.29

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

文 章 ID：238891979

作　　者：Bharat Adsul ;Paul Gastin ;Saptarshi Sarkar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:19:1-19:17.doi:10.4230/LIPIcs.CONCUR.2020.19

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

文 章 ID：255822878

作　　者：Manfred Kufleitner ;Pascal Weil

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:11)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691961

作　　者：Susanne Albers ;Pascal Weil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:1-28.doi:10.4230/LIPIcs.STACS.2008.1378

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

文 章 ID：186845430

作　　者：Susanne Albers ;Pascal Weil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:1-10.doi:10.4230/LIPIcs.STACS.2008.1326

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

文 章 ID：186845431

作　　者：Manfred Kufleitner ;Pascal Weil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:426-439.doi:10.4230/LIPIcs.CSL.2012.426

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

文 章 ID：186846175