Using extended logical primitives for efficient BDD building

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

ISSN: 2227-7390

Argitalpen urtea: 2020

Alea: 8

Zenbakia: 8

Mota: Artikulua

DOI: 10.3390/MATH8081253 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus