作 者:Giorgio Delzanno ;Arnaud Sangnier ;Gianluigi Zavattaro
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;60:56-65.doi:10.4204/EPTCS.60.4
出 版 社:Open Publishing Association
文 章 ID:83120227
作 者:Normann Decker ;Peter Habermehl ;Martin Leucker 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:29:1-29:17.doi:10.4230/LIPIcs.CONCUR.2017.29
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735195
作 者:Benedikt Bollig ;Karin Quaas ;Arnaud Sangnier
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:33:1-33:16.doi:10.4230/LIPIcs.CONCUR.2017.33
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735199
作 者:Benedikt Bollig ;Fedor Ryabinin ;Arnaud Sangnier
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:13:1-13:16.doi:10.4230/LIPIcs.CSL.2021.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514175
作 者:Florian Horn ;Arnaud Sangnier
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:46:1-46:16.doi:10.4230/LIPIcs.CONCUR.2020.46
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822905
作 者:Nathalie Bertrand ;Giorgio Delzanno ;Barbara K{\"o}nig 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:101-116.doi:10.4230/LIPIcs.RTA.2012.101
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846079
作 者:Giorgio Delzanno ;Arnaud Sangnier ;Riccardo Traverso 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:289-300.doi:10.4230/LIPIcs.FSTTCS.2012.289
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846210
作 者:Nathalie Bertrand ;Paulin Fournier ;Arnaud Sangnier
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:44-57.doi:10.4230/LIPIcs.CONCUR.2015.44
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846999
作 者:Patricia Bouyer ;Nicolas Markey ;Mickael Randour 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:106:1-106:14.doi:10.4230/LIPIcs.ICALP.2016.106
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847703