作　　者：Ricardo Bedin Fran{\c{c}}a ;Denis Favre-Felix ;Xavier Leroy 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2011 ;18:59-68.doi:10.4230/OASIcs.PPES.2011.59

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848440

作　　者：Xavier Leroy

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:2:1-2:1.doi:10.4230/LIPIcs.ICALP.2016.2

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847599

作　　者：Bernhard Schommer ;Christoph Cullmann ;Gernot Gebhard 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;63:1-13.doi:10.4230/OASIcs.WCET.2018.8

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213751

作　　者：Gabriel G. Malouf ;Eva Compérat ;Hui Yao 等

出　　处：Scientific Reports. 2016 ;6(1).doi:10.1038/srep30988

出 版 社：Springer Nature

文 章 ID：235863089