作　　者：Lauri Hella ;Antti Kuusisto ;Arne Meier 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:32:1-32:14.doi:10.4230/LIPIcs.MFCS.2017.32

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

文 章 ID：205509990

作　　者：Miika Hannula ;Juha Kontinen ;Lück, Martin 等

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

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

文 章 ID：258514189

作　　者：Antti Kuusisto ;Jeremy Meyers ;Jonni Virtema

出　　处：Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:26)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264692185

作　　者：Antti Kuusisto ;Jeremy Meyers ;Jonni Virtema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:470-484.doi:10.4230/LIPIcs.CSL.2012.470

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

文 章 ID：186846178

作　　者：Katsuhiko Sano ;Jonni Virtema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:292-307.doi:10.4230/LIPIcs.CSL.2015.292

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

文 章 ID：186847053

作　　者：Juha Kontinen ;Antti Kuusisto ;Jonni Virtema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:60:1-60:14.doi:10.4230/LIPIcs.MFCS.2016.60

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

文 章 ID：186847887

作　　者：Flavio Ferrarotti ;Jan Van den Bussche ;Jonni Virtema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-18.doi:10.4230/LIPIcs.CSL.2018.22

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

文 章 ID：230213297

作　　者：Andreas Krebs ;Arne Meier ;Jonni Virtema 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-16.doi:10.4230/LIPIcs.MFCS.2018.10

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

文 章 ID：230213365