作　　者：Luca Bortolussi ;Alberto Policriti

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;6:63-76.doi:10.4204/EPTCS.6.5

出 版 社：Open Publishing Association

文 章 ID：83119736

作　　者：Luca Bortolussi ;Vashti Galpin ;Jane Hillston

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;57:120-133.doi:10.4204/EPTCS.57.9

出 版 社：Open Publishing Association

文 章 ID：83120201

作　　者：Luca Bortolussi ;Alberto Policriti

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;67:19-33.doi:10.4204/EPTCS.67.4

出 版 社：Open Publishing Association

文 章 ID：83120308

作　　者：Luca Bortolussi ;Vashti Galpin ;Jane Hillston

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;85:106-121.doi:10.4204/EPTCS.85.8

出 版 社：Open Publishing Association

文 章 ID：83120506

作　　者：Luca Bortolussi

出　　处：Storicamente. 2014 ;10:1-4.doi:10.12977/stor510

出 版 社：Dipartimento di Discipline Storiche Università di Bologna - Gedit Edizioni

文 章 ID：254929504

作　　者：Luca Bortolussi ;Guido Sanguinetti

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:3)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692221

作　　者：Luca Bortolussi ;Francesca Cairoli ;Ginevra Carbone 等

出　　处：IFAC PapersOnLine. 2021 ;54(5):223-228.doi:10.1016/j.ifacol.2021.08.502

出 版 社：Elsevier

文 章 ID：1035328605