Using extended logical primitives for efficient BDD building

  1. Fernandez-Amoros, D.
  2. Bra, S.
  3. Aranda-Escolástico, E.
  4. Heradio, R.
Revista:
Mathematics

ISSN: 2227-7390

Any de publicació: 2020

Volum: 8

Número: 8

Tipus: Article

DOI: 10.3390/MATH8081253 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus