Monica Farkas

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1999
c2		Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret: A Methodology for the Verification of a ``System on Chip''. DAC 1999: 574-579
	1996
c1		Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158

Coauthor Index

1	Tamarah Arons	[c2]
2	Steve Barret	[c2]
3	Giora Biran	[c2]
4	Daniel Geist	[c2] [c1]
5	Karen Holtz	[c2]
6	Dave King	[c2]
7	Avner Landver	[c1]
8	Yossi Lichtenstein	[c1]
9	Andy Long	[c2]
10	Yvgeny Nustov	[c2]
11	Michael Slavkin	[c2]
12	Shmuel Ur	[c1]
13	Yaron Wolfsthal (Yaron Wolfstahl)	[c1]

Last update Mon May 20 19:02:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page