作　　者：Christian Sternagel ;Ren{\'e} Thiemann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:325-340.doi:10.4230/LIPIcs.RTA.2010.325

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

文 章 ID：186845707

作　　者：Christian Sternagel ;Ren{\'e} Thiemann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:329-344.doi:10.4230/LIPIcs.RTA.2011.329

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

文 章 ID：186845929

作　　者：Ren{\'e} Thiemann ;Guillaume Allais ;Julian Nagele

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:339-354.doi:10.4230/LIPIcs.RTA.2012.339

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

文 章 ID：186846094

作　　者：Christian Sternagel ;Ren{\'e} Thiemann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:287-302.doi:10.4230/LIPIcs.RTA.2013.287

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

文 章 ID：186846318

作　　者：Martin Avanzini ;Christian Sternagel ;Ren{\'e} Thiemann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:23-39.doi:10.4230/LIPIcs.RTA.2015.23

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

文 章 ID：186846879

作　　者：Akihisa Yamada ;Christian Sternagel ;Ren{\'e} Thiemann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:8:1-8:16.doi:10.4230/LIPIcs.CSL.2016.8

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

文 章 ID：186847925