Coby Hanoch

	2002
1		Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud: Formal Verification Techniques: Industrial Status and Perspectives. DATE 2002: 1050

Coauthor Index

1	Joel Blasquez	[1]
2	Dominique Borrione	[1]
3	Pierre Bricaud	[1]
4	Andrea Fedeli	[1]
5	Marten van Hulst	[1]
6	Jean-Luc Lambert	[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