Fahim Rahim-Sarwary

List of publications from the DBLP Bibliography Server - FAQ

1998

1 Fahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa: Modular model checking of VLSI designs described in VHDL. Computers and Their Applications 1998: 368-371

1998
1		Fahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa: Modular model checking of VLSI designs described in VHDL. Computers and Their Applications 1998: 368-371

Coauthor Index

1	Rajesh K. Bawa	[1]
2	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[1]
3	Michel Minoux	[1]