Mike Bartley

	2002
2		Mike Bartley, Darren Galpin, Tim Blackmore: A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC 2002: 819-823
	1996
1		Françoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, François Pogodalla, Frédéric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Gérard Mas, Geoff Barrett, Christian Berthet: Functional Verification Methodology of Chameleon Processor. DAC 1996: 421-426

Coauthor Index

1	Geoff Barrett	[1]
2	Mohamed Belhadj	[1]
3	Mike Benjamin	[1]
4	Christian Berthet	[1]
5	Tim Blackmore	[2]
6	Françoise Casaubieilh	[1]
7	Jeremy Eggleton	[1]
8	Darren Galpin	[2]
9	Gérard Mas	[1]
10	Anthony McIsaac	[1]
11	François Pogodalla	[1]
12	Frédéric Rocheteau	[1]

Colors in the list of coauthors

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