电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Frank S. de Boer ;Jacopo Mauro
出 处：OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-14.doi:10.4230/OASIcs.Gabbrielli.0
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：257805130
作 者：Frank S. de Boer ;Einar Broch Johnsen ;Rudolf Schlatte 等
出 处：OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-18.doi:10.4230/OASIcs.Gabbrielli.10
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：257805140
作 者：Lăcrămioara Aştefănoaei ;Mehdi Dastani ;John-Jules Meyer 等
出 处：Journal of Universal Computer Science. 2009 ;15(13):2629-2652.
出 版 社：Graz University of Technology and Know-Center
文 章 ID：186873954
作 者：Marjan Sirjani ;Ali Movaghar ;Amin Shali 等
出 处：Journal of Universal Computer Science. 2005 ;11(6):1054-1082.
出 版 社：Graz University of Technology and Know-Center
文 章 ID：186875530
作 者：Marjan Sirjani ;Frank S. de Boer ;Ali Movaghar
出 处：Journal of Universal Computer Science. 2005 ;11(10):1695-1717.
出 版 社：Graz University of Technology and Know-Center
文 章 ID：186875758
作 者：Frank S. de Boer ;Elena Giachino ;Stijn de Gouw 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2019 ;302:1-15.doi:10.4204/EPTCS.302.1
出 版 社：Open Publishing Association
文 章 ID：1033557613