Fahim Rahim-Sarwary

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Fahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa
Modular model checking of VLSI designs described in VHDL. CATA (1998)