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