Marco Crivellari

Publication Activity (10 Years)

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

Publications

Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE (2005)