Fabio Somenzi
Share
Bibliography
format
Book
eBook
Order
Edition Date
Ranking
-
Abstraction Refinement For Large Scale Model CheckingeBookSPRINGER US09-20060,00€
-
Logic Synthesis And Verification AlgorithmseBookSPRINGER US08-20060,00€
-
Logic Synthesis And Verification AlgorithmseBookSPRINGER US12-20050,00€