Verification of VLSI circuits using LP


Stephen Garland, John Guttag, Jørgen Staunstrup
Bok Språk ikke angitt 1988
Utgitt
Aarhus : Computer Science Department, Aarhus University , 1988
Omfang
22 s.
Emner

Bibliotek som har denne