电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Christel Baier ;Jean Goubault-Larrecq
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183::i-:xx.doi:10.4230/LIPIcs.CSL.2021.0
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：258514162
作 者：Michael Blondin ;Alain Finkel ;Jean Goubault-Larrecq
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:16:1-16:15.doi:10.4230/LIPIcs.FSTTCS.2017.16
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：220015401
出 处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:14)2012
出 版 社：Technical University of Braunschweig
文 章 ID：264691935
作 者：Alain Finkel ;Jean Goubault-Larrecq
出 处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:28)2012
出 版 社：Technical University of Braunschweig
文 章 ID：264691969
作 者：Alain Finkel ;Jean Goubault-Larrecq
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:433-444.doi:10.4230/LIPIcs.STACS.2009.1844
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845561
作 者：J{\'e}r{\'e}my Dubut ;Eric Goubault ;Jean Goubault-Larrecq
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:9:1-9:16.doi:10.4230/LIPIcs.CSL.2016.9
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847926
作 者：J{\'e}r{\'e}my Dubut ;Eric Goubault ;Jean Goubault-Larrecq
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:25:1-25:14.doi:10.4230/LIPIcs.CONCUR.2016.25
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847583
作 者：Jean Goubault-Larrecq ;Sylvain Schmitz
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:97:1-97:15.doi:10.4230/LIPIcs.ICALP.2016.97
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847694