电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Romain Brenguier ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:2:1-2:23.doi:10.4230/LIPIcs.CONCUR.2017.2
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：200735168
作 者：Patricia Bouyer ;Romain Brenguier ;Nicolas Markey 等
出 处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:9)2015
出 版 社：Technical University of Braunschweig
文 章 ID：264692236
作 者：Patricia Bouyer ;Romain Brenguier ;Nicolas Markey 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:375-386.doi:10.4230/LIPIcs.FSTTCS.2011.375
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845893
作 者：Romain Brenguier ;Jean-Fran{\c{c}}ois Raskin ;Ocan Sankur
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:100-113.doi:10.4230/LIPIcs.CONCUR.2015.100
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847003
作 者：Romain Brenguier ;Guillermo A. P{\'e}rez ;Jean-Francois Raskin 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:42:1-42:14.doi:10.4230/LIPIcs.FSTTCS.2016.42
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848162
作 者：Romain Brenguier
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:8:1-8:15.doi:10.4230/LIPIcs.CONCUR.2016.8
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847567