Search results for: Daher Kaiss
Lecture Notes in Computer Science > Computer Aided Verification > BDD and Decision Procedures > 131-143
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 482-496
2006 International Conference on Computer Design > 267 - 273