作 者:Giulio Guerrieri ;Luc Pellissier ;Lorenzo Tortora de Falco
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-18.doi:10.4230/LIPIcs.CSL.2020.24
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494225
作 者:Giulio Guerrieri ;Luc Pellissier ;Lorenzo Tortora de Falco
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:20:1-20:18.doi:10.4230/LIPIcs.FSCD.2016.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847452
作 者:Giulio Guerrieri ;Luc Pellissier ;Lorenzo Tortora de Falco
出 处:Logical Methods in Computer Science. 2022 ;18(2):1-46.doi:10.46298/lmcs-18(2:4)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046981