Using extended logical primitives for efficient BDD building

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

ISSN: 2227-7390

Datum der Publikation: 2020

Ausgabe: 8

Nummer: 8

Art: Artikel

DOI: 10.3390/MATH8081253 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus