电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Larsen, Kim G. ;Fahrenberg, Uli ;Thrane, Claus
出 处：OASIcs : OpenAccess Series in Informatics. 2009 ;13.
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：88506507
作 者：Brauer, Jörg ;Hansen, René Rydhof ;Kowalewski, Stefan 等
出 处：OASIcs : OpenAccess Series in Informatics. 2011 ;24.
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：88506346
作 者：David, Alexandre ;Larsen, Kim G. ;Legay, Axel 等
出 处：Electronic Communications of the EASST. 2013 ;66(0).
出 版 社：European Association of Software Science and Technology (EASST)
文 章 ID：100465503
作 者：Fahrenberg, Uli ;Larsen, Kim G. ;Thrane, Claus
出 处：COMPUTING AND INFORMATICS. 2010 ;29(6+):1311-1324.
出 版 社：COMPUTING AND INFORMATICS
文 章 ID：100609341
作 者：Fahrenberg, Uli ;Larsen, Kim G. ;Thrane, Claus
出 处：COMPUTING AND INFORMATICS. 2010 ;29(6+):1311-1324.
出 版 社：COMPUTING AND INFORMATICS
文 章 ID：203576282
作 者：Mardare, Radu ;Larsen, Kim G. ;Bacci, Giovanni 等
出 处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:15)2018
出 版 社：Technical University of Braunschweig
文 章 ID：1024654176
作 者：Mardare, Radu ;Larsen, Kim G. ;Bacci, Giovanni 等
出 处：Logical Methods in Computer Science. 2017 ;13(2).
出 版 社：Technical University of Braunschweig
文 章 ID：1011743034
作 者：van Breugel, Franck ;Tang, Qiyi ;Mardare, Radu 等
出 处：Logical Methods in Computer Science. 2021 ;17(1):1-36.
出 版 社：Technical University of Braunschweig
文 章 ID：1035318245