Una técnica incremental para la simulación simbólica de circuitos digitales

Translated title of the contribution: Una técnica incremental para la simulación simbólica de circuitos digitales

L. Ribas, J. Carrabina

    Research output: Chapter in BookChapterResearch

    Translated title of the contributionUna técnica incremental para la simulación simbólica de circuitos digitales
    Original languageMultiple languages
    Title of host publicationDCIS96 Proceedings
    Place of PublicationBarcelona (ES)
    Pages290-295
    Number of pages5
    Edition1
    Publication statusPublished - 1 Jan 1996

    Cite this