DAVID JOSE
FERNANDEZ AMOROS
Profesor Titular Universidad
ERNESTO
ARANDA ESCOLASTICO
Profesor Titular Universidad
Publications dans lesquelles il/elle collabore avec ERNESTO ARANDA ESCOLASTICO (1)
2020
-
Using extended logical primitives for efficient BDD building
Mathematics, Vol. 8, Núm. 8