Publikationen, an denen er mitarbeitet ERNESTO ARANDA ESCOLASTICO (1)

2020

  1. Using extended logical primitives for efficient BDD building

    Mathematics, Vol. 8, Núm. 8