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]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page