作 者:Jules Chouquet ;Christine Tasson
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494217
作 者:Christine Tasson
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:4:1-4:1.doi:10.4230/LIPIcs.FSCD.2017.4
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735113
作 者:Ali Assaf ;Alejandro Díaz-Caro ;Simon Perdrix 等
出 处:Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:8)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692172
作 者:R{\'e}mi Nollet ;Alexis Saurin ;Christine Tasson
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-23.doi:10.4230/LIPIcs.CSL.2018.35
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213700