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): (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