作　　者：Nathana{\"e}l Fijalkow ;Bartek Klin ;Prakash Panangaden

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:105:1-105:12.doi:10.4230/LIPIcs.ICALP.2017.105

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

文 章 ID：198372059

作　　者：Bartek Klin ;Mateusz Łełyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:30:1-30:21.doi:10.4230/LIPIcs.CSL.2017.30

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

文 章 ID：200735096

作　　者：Bartek Klin

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

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

文 章 ID：258514163

作　　者：Bartek Klin ;Jurriaan Rot

出　　处：Logical Methods in Computer Science. 2016 ;12(4):1.doi:10.2168/LMCS-12(4:10)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692057

作　　者：Mikołaj Bojańczyk ;Bartek Klin ;Sławomir Lasota

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:4)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692145

作　　者：Bartek Klin ;Beata Nachyla

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:190-204.doi:10.4230/LIPIcs.CALCO.2015.190

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

文 章 ID：186847102

作　　者：Bartek Klin ;Pawel Sobocinski

出　　处：BRICS Report Series. 2003 ;10(18).

出 版 社：Aarhus University

文 章 ID：186804839

作　　者：Bartek Klin ;Slawomir Lasota ;Joanna Ochremiak 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:14:1-14:15.doi:10.4230/LIPIcs.FSTTCS.2016.14

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

文 章 ID：186848134