作　　者：Peter G Hancock ;Neil Ghani ;Dirk Pattinson

出　　处：Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:9)2009

出 版 社：Technical University of Braunschweig

文 章 ID：47333308

作　　者：Fatemeh Seifan ;Lutz Schr{\"o}der ;Dirk Pattinson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:21:1-21:16.doi:10.4230/LIPIcs.CALCO.2017.21

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

文 章 ID：205510199

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

作　　者：Lutz Schr{\"o}der ;Dirk Pattinson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:673-684.doi:10.4230/LIPIcs.STACS.2009.1855

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

文 章 ID：186845581

作　　者：Lutz Schr{\"o}der ;Dirk Pattinson

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

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

文 章 ID：186845680

作　　者：Stefan Milius ;Dirk Pattinson ;Lutz Schr{\"o}der

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:253-269.doi:10.4230/LIPIcs.CALCO.2015.253

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

文 章 ID：186847106