New data structures and algorithms for logic synthesis and verification
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Electronic Resource |
| Idioma: | English |
| Publicat: |
Cham
Springer
[2017]
|
| Matèries: | |
| Accés en línia: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |