Daniele Campana

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri
An Analytic Evaluation of SystemC Encodings in Promela. SPIN (2011)