Marco Boschini

	2001
2		Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto: Concrete Impact of Formal Verification on Quality in IP Design and Implementation. ISQED 2001: 38-43
1		Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick: Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. J. Electronic Testing 17(3-4): 321-330 (2001)

Coauthor Index

1	Andrea Fedeli	[2]
2	Franco Fummi	[1]
3	Umberto Rossi	[2]
4	Elizabeth M. Rudnick	[1]
5	Franco Toto	[2]
6	Xiaoming Yu	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page