M. Gilli

	1990
1		Paolo Camurati, M. Gilli, Paolo Prinetto, Matteo Sonza Reorda: The Use of Model Checking in ATPG for Sequential Circuits. CAV 1990: 86-95

Coauthor Index

1	Paolo Camurati	[1]
2	Paolo Prinetto	[1]
3	Matteo Sonza Reorda	[1]