| Títol traduït de la contribució | Una técnica incremental para la simulación simbólica de circuitos digitales |
|---|---|
| Idioma original | Múltiples idiomes |
| Títol de la publicació | DCIS96 Proceedings |
| Lloc de publicació | Barcelona (ES) |
| Pàgines | 290-295 |
| Nombre de pàgines | 5 |
| Edició | 1 |
| Estat de la publicació | Publicada - 1 de gen. 1996 |
Una técnica incremental para la simulación simbólica de circuitos digitales
L. Ribas, J. Carrabina
Producció científica: Capítol de llibre › Capítol › Recerca