Surrendra Dudani

2002
2	EE	Surrendra Dudani, Jayant Nagda: High Level Functional Verification Closure. ICCD 2002: 91-
2001
1	EE	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