Surrendra Dudani

	2002
2		Surrendra Dudani, Jayant Nagda: High Level Functional Verification Closure. ICCD 2002: 91-
	2001
1		Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer: Dynamic Assertions Using TXP. Electr. Notes Theor. Comput. Sci. 55(2): 134-146 (2001)

Coauthor Index

1	Joao Geada	[1]
2	Grzegorz Jakacki	[1]
3	Jayant Nagda	[2]
4	Daniel Vainer	[1]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page