Marco Crivellari

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

Coauthor Index

1	Gianpiero Cabodi	[1]
2	Sergio Nocco	[1]
3	Stefano Quer	[1]