作　　者：Alessandro Cimatti ;Marco Roveri ;Angelo Susi 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;20:68-75.doi:10.4204/EPTCS.20.7

出 版 社：Open Publishing Association

文 章 ID：83119849

作　　者：Alessandro Cimatti ;Iman Narasamdya ;Marco Roveri

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:18)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691992

作　　者：Marco Bozzano ;Alessandro Cimatti ;Oleg Lisagor 等

出　　处：Electronic Communications of the EASST. 2012 ;46.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185431061

作　　者：J{\"o}rg Brauer ;Marco Roveri ;Hendrik Tews

出　　处：OASIcs : OpenAccess Series in Informatics. 2012 ;24:i-vii.doi:10.4230/OASIcs.SSV.2011.i

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

文 章 ID：186848513