Equivalent Transformations of Structurally Synthesized BDDs and Applications

Jürimägi, Lembit; Ubar, Raimund; Viies, Vladimir (2019). Equivalent Transformations of Structurally Synthesized BDDs and Applications. 8th Mediterranean Conf. on Embedded Computing – MECO: Montenegro, Budva, June 10-14, 2019. IEEE Computer Science,.10.1109/MECO.2019.8760283.
publitseeritud konverentsiettekanne
Jürimägi, Lembit; Ubar, Raimund; Viies, Vladimir
  • Inglise
8th Mediterranean Conf. on Embedded Computing – MECO
Montenegro, Budva, June 10-14, 2019
2019
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1109/MECO.2019.8760283

Lisainfo