作　　者：Schröder, Lutz ;Pattinson, Dirk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5.doi:10.4230/LIPIcs.STACS.2010.2492

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

文 章 ID：87958888

作　　者：Göttlinger, Merlin ;Schröder, Lutz ;Dirk Pattinson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:26:1-26:22.doi:10.4230/LIPIcs.CSL.2021.26

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

文 章 ID：258514188

作　　者：Jakob, Julian ;Rauch, Christoph ;Schröder, Lutz 等

出　　处：Logical Methods in Computer Science. 2018 ;14(3).doi:10.23638/LMCS-14(3:10)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1021277403

作　　者：Schröder, Lutz ;Milius, Stefan ;Dorsch, Ulrich 等

出　　处：Logical Methods in Computer Science. 2020 ;16(1):1-63.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318164

作　　者：Hausmann, Daniel ;Milius, Stefan ;Schröder, Lutz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.58

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

文 章 ID：1037088658

作　　者：Wißmann, Thorsten ;Milius, Stefan ;Schröder, Lutz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.32

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

文 章 ID：1037088701

作　　者：Urbat, Henning ;Hausmann, Daniel ;Milius, Stefan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.4

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

文 章 ID：1037088706

作　　者：Ford, Chase ;Milius, Stefan ;Schröder, Lutz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;211.doi:10.4230/LIPIcs.CALCO.2021.14

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

文 章 ID：1037089056