Using extended logical primitives for efficient BDD building

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

ISSN: 2227-7390

Année de publication: 2020

Volumen: 8

Número: 8

Type: Article

DOI: 10.3390/MATH8081253 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus