作　　者：Joerg Endrullis ;Roel De Vrijer ;Johannes Waldmann

出　　处：Logical Methods in Computer Science. 2010 ;6(03).

出 版 社：Technical University of Braunschweig

文 章 ID：49467254

作　　者：Alfons Geser ;Dieter Hofbauer ;Johannes Waldmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-21.doi:10.4230/LIPIcs.FSCD.2019.21

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

文 章 ID：238892308

作　　者：Georg Moser ;Andreas Schnabl ;Johannes Waldmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:304-315.doi:10.4230/LIPIcs.FSTTCS.2008.1762

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

文 章 ID：186845506

作　　者：Johannes Waldmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:357-372.doi:10.4230/LIPIcs.RTA.2010.357

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

文 章 ID：186845709

作　　者：Alexander Bau ;Markus Lohrey ;Eric N{\"o}th 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:97-112.doi:10.4230/LIPIcs.RTA.2013.97

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

文 章 ID：186846306

作　　者：Johannes Waldmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:318-333.doi:10.4230/LIPIcs.RTA.2015.318

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

文 章 ID：186846897