出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;110:41-55.doi:10.4204/EPTCS.110.6
出 版 社:Open Publishing Association
文 章 ID:85356963
出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;113:11-26.doi:10.4204/EPTCS.113.5
出 版 社:Open Publishing Association
文 章 ID:85356997
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-20.doi:10.4230/LIPIcs.FSCD.2019.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892288
作 者:Beniamino Accattoli ;Claudia Faggian ;Giulio Guerrieri
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:6:1-6:25.doi:10.4230/LIPIcs.CSL.2021.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514168
作 者:Beniamino Accattoli ;Delia Kesner
出 处:Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:28)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691928
作 者:Beniamino Accattoli ;Ugo Dal Lago
出 处:Logical Methods in Computer Science. 2016 ;12(1):1.doi:10.2168/LMCS-12(1:4)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692129
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:6-21.doi:10.4230/LIPIcs.RTA.2012.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846073
作 者:Beniamino Accattoli ;Ugo Dal Lago
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:22-37.doi:10.4230/LIPIcs.RTA.2012.22
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846074
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:39-54.doi:10.4230/LIPIcs.RTA.2013.39
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846302