PakCat catalogue record

High Quality Test Pattern Generation and Boolean Satisfiability

By Stephan Eggersglub

Bibliographic details

Subjects

Computer--Aided design