电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Giorgio Bacci ;Davide Grohmann ;Marino Miculan
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;11:3-18.doi:10.4204/EPTCS.11.1
出 版 社：Open Publishing Association
文 章 ID：83119773
作 者：Giorgio Bacci ;Davide Grohmann ;Marino Miculan
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;11:19-33.doi:10.4204/EPTCS.11.2
出 版 社：Open Publishing Association
文 章 ID：83119774
作 者：Giorgio Bacci ;Marino Miculan
出 处：Electronic Proceedings in Theoretical Computer Science. 2010 ;40:6-22.doi:10.4204/EPTCS.40.2
出 版 社：Open Publishing Association
文 章 ID：83120058
作 者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.9
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：238891917
作 者：Giovanni Bacci ;Giorgio Bacci ;Kim G. Larsen 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:104:1-104:14.doi:10.4230/LIPIcs.ICALP.2017.104
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：198372058
作 者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:21:1-21:14.doi:10.4230/LIPIcs.CONCUR.2016.21
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847579
作 者：Mathias Ruggaard Pedersen ;Giorgio Bacci ;Kim Guldstrand Larsen
出 处：Electronic Proceedings in Theoretical Computer Science. 2020 ;312(PROC. QAPL 2019):29-42.doi:10.4204/EPTCS.312.3
出 版 社：Open Publishing Association
文 章 ID：1034631239