作 者:Flavien Breuvart
出 处:Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:4)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692087
作 者:Flavien Breuvart ;Michele Pagani
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:567-581.doi:10.4230/LIPIcs.CSL.2015.567
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847070
作 者:Flavien Breuvart ;Giulio Manzonetto ;Andrew Polonsky 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:15:1-15:18.doi:10.4230/LIPIcs.FSCD.2016.15
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847447
作 者:Flavien Breuvart ;Ugo Dal Lago ;Agathe Herrou
出 处:Logical Methods in Computer Science. 2021 ;17(4):1-35.doi:10.46298/lmcs-17(4:25)2021
出 版 社:Technical University of Braunschweig
文 章 ID:1038046927