电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Milius, Stefan
出 处：Logical Methods in Computer Science. 2018 ;14(3).doi:10.23638/LMCS-14(3:22)2018
出 版 社：Technical University of Braunschweig
文 章 ID：1021277415
作 者：Urbat, Henning ;Milius, Stefan ;Adamek, Jiří
出 处：Logical Methods in Computer Science. 2018 ;14(2).doi:10.23638/LMCS-14(2:9)2018
出 版 社：Technical University of Braunschweig
文 章 ID：1021277427
作 者：Schröder, Lutz ;Milius, Stefan ;Dorsch, Ulrich 等
出 处：Logical Methods in Computer Science. 2020 ;16(1):1-63.
出 版 社：Technical University of Braunschweig
文 章 ID：1035318164
作 者：Deifel, Hans-Peter ;Milius, Stefan ;Wißmann, Thorsten
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;195.doi:10.4230/LIPIcs.FSCD.2021.28
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：1037088332
作 者：Hausmann, Daniel ;Milius, Stefan ;Schröder, Lutz
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.58
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：1037088658
作 者：Wißmann, Thorsten ;Milius, Stefan ;Schröder, Lutz
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.32
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：1037088701
作 者：Urbat, Henning ;Hausmann, Daniel ;Milius, Stefan 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.4
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：1037088706
作 者：Adámek, Jiří ;Milius, Stefan ;Moss, Lawrence S.
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;211.doi:10.4230/LIPIcs.CALCO.2021.5
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：1037089049
作 者：Ford, Chase ;Milius, Stefan ;Schröder, Lutz
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;211.doi:10.4230/LIPIcs.CALCO.2021.14
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：1037089056