Reading Length
Home
Speed Tests
Login
Fabio Somenzi
Identifiers
Open Library
OL2680645A
Top Subjects
Systems engineering (1)
Computer-aided design (1)
Integrated circuits, very large scale integration (1)
Logic design (1)
Books by Fabio Somenzi
Total count: 5
Abstraction Refinement for Large Scale Model Checking
Springer London, Limited
2006-01-01
Logic Synthesis and Verification Algorithms
Springer
2006-02-10
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Springer
2006-07-20
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Springer London, Limited
2011-01-01
Logic Synthesis and Verification Algorithms
Springer
2013-01-01
