作 者:Marcello M. Bonsangue ;Stefan Milius ;Jurriaan Rot
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;89:3-18.doi:10.4204/EPTCS.89.2
出 版 社:Open Publishing Association
文 章 ID:83120516
作 者:Jirí Adámek ;Stefan Milius ;Jirí Velebil
出 处:Logical Methods in Computer Science. 2006 ;2(05).doi:10.2168/LMCS-2(5:4)2006
出 版 社:Technical University of Braunschweig
文 章 ID:46838646
作 者:Ulrich Dorsch ;Stefan Milius ;Lutz Schr{"o}der
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891944
作 者:Henning Urbat ;Stefan Milius
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.130
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892265
作 者:Stefan Milius
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-5.doi:10.4230/LIPIcs.CALCO.2019.2
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:241519999
作 者:Ulrich Dorsch ;Stefan Milius ;Lutz Schr{\"o}der 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:32:1-32:16.doi:10.4230/LIPIcs.CONCUR.2017.32
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735198
作 者:Henning Urbat ;Jiri Ad{\'a}mek ;Liang-Ting Chen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:43:1-43:15.doi:10.4230/LIPIcs.MFCS.2017.43
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510091
作 者:Jiri Ad{\'a}mek ;Stefan Milius
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:3:1-3:15.doi:10.4230/LIPIcs.CALCO.2017.3
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510166
作 者:Stefan Milius
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:18:1-18:16.doi:10.4230/LIPIcs.CALCO.2017.18
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510194
作 者:Stefan Milius ;Lawrence Moss ;Daniel Schwencke
出 处:Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:28)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692018