作 者:J{\"o}rg Endrullis ;Jan Willem Klop ;Roy Overbeek
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:14:1-14:15.doi:10.4230/LIPIcs.FSCD.2018.14
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220014772
作 者:Jörg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等
出 处:Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:7)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264691910
作 者:Jörg Endrullis ;Dimitri Hendriks ;Jan Willem Klop 等
出 处:Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:4)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264691912
作 者:Joerg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:85-102.doi:10.4230/LIPIcs.RTA.2010.85
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845692