电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Serge Autexier ;Stephan Merz ;Leon van der Torre 等
出 处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.693
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848171
作 者：Serge Autexier ;Stephan Merz ;Leon van der Torre 等
出 处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.758
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848172
作 者：Jan Reineke ;Bj{\"o}rn Wachter ;Stefan Thesing 等
出 处：OASIcs : OpenAccess Series in Informatics. 2006 ;4.doi:10.4230/OASIcs.WCET.2006.671
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848202
作 者：Reinhard Wilhelm
出 处：OASIcs : OpenAccess Series in Informatics. 2007 ;1.doi:10.4230/OASIcs.WCET.2005.817
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848213
作 者：Niklas Holsti ;Guillem Bernat ;Christian Ferdinand 等
出 处：OASIcs : OpenAccess Series in Informatics. 2009 ;10:1-4.doi:10.4230/OASIcs.WCET.2009.2278
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848327
作 者：Philipp Lucas ;Reinhard Wilhelm
出 处：OASIcs : OpenAccess Series in Informatics. 2011 ;18:i-vii.doi:10.4230/OASIcs.PPES.2011.i
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848433
作 者：Daniel Grund ;Jan Reineke ;Reinhard Wilhelm
出 处：OASIcs : OpenAccess Series in Informatics. 2011 ;18:22-31.doi:10.4230/OASIcs.PPES.2011.22
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848436
作 者：Reinhard Wilhelm
出 处：OASIcs : OpenAccess Series in Informatics. 2018 ;63:1-9.doi:10.4230/OASIcs.WCET.2018.1
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：230213744