Login / Signup
Surrendra Dudani
Publication Activity (10 Years)
Years Active: 2001-2002
Publications (10 Years): 0
</>
Publications
</>
Surrendra Dudani
,
Jayant Nagda
High Level Functional Verification Closure.
ICCD
(2002)
Surrendra Dudani
,
Joao Geada
,
Grzegorz Jakacki
,
Daniel Vainer
Dynamic Assertions Using TXP.
Electron. Notes Theor. Comput. Sci.
55 (2) (2001)