作　　者：Roberto Casadei ;Danilo Pianini ;Andrea Placuzzi 等

出　　处：Future Internet. 2020 ;12(11):203-230.doi:10.3390/fi12110203

出 版 社：MDPI Publishing

文 章 ID：257511828

作　　者：Ferruccio Damiani ;Mirko Viroli

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692119

作　　者：Roberto Casadei ;Gianluca Aguzzi ;Mirko Viroli

出　　处：Journal of Sensor and Actuator Networks. 2021 ;10(2):27.doi:10.3390/jsan10020027

出 版 社：MDPI Publishing

文 章 ID：261341812

作　　者：Enrico Oliva ;Antonio Natali ;Alessandro Ricci 等

出　　处：Journal of Universal Computer Science. 2008 ;14(13):2158-2181.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186873658

作　　者：Mirko Viroli ;Andrea Omicini

出　　处：Journal of Universal Computer Science. 2002 ;8(4):423-451.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186874943

作　　者：Giorgio Audrito ;Ferruccio Damiani ;Volker Stolz 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;302:47-61.doi:10.4204/EPTCS.302.4

出 版 社：Open Publishing Association

文 章 ID：1034807937

作　　者：Danilo Pianini ;Roberto Casadei ;Mirko Viroli 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：1038046909