作　　者：Massimo Bartoletti ;Laura Bocchi ;Maurizio Murgia

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-19.doi:10.4230/LIPIcs.CONCUR.2018.40

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213352

作　　者：Maurizio Murgia

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;304:38-47.doi:10.4204/EPTCS.304.3

出 版 社：Open Publishing Association

文 章 ID：1034960991

作　　者：Massimo Bartoletti ;Letterio Galletta ;Maurizio Murgia

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-44.doi:10.46298/lmcs-17(4:10)2021

出 版 社：Technical University of Braunschweig

文 章 ID：1038046912

作　　者：Massimo Bartoletti ;Stefano Lande ;Maurizio Murgia 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-33.doi:10.46298/lmcs-18(1:22)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046965