P. Bjesse
AuthID: R-006-J10
1
TÃTULO: Tutorial 2: Boolean satisfiability solving and its application in equivalence and model checking
AUTORES: Marques Silva, J ; Bjesse, P; Kunz, W;
PUBLICAÇÃO: 2001, FONTE: International Conference on Computer-Aided Design 2001 in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
AUTORES: Marques Silva, J ; Bjesse, P; Kunz, W;
PUBLICAÇÃO: 2001, FONTE: International Conference on Computer-Aided Design 2001 in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
INDEXADO EM: 
Scopus
Scopus