Parallel fault analysis on structurally synthesized BDDs

vastutusandmed
Sergei Devadze and Raimund Ubar
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
ilmumisaasta
leheküljed
lk. 47-50 : ill
ISBN
978-9985-59-700-2
märkused
Bibliogr.: 14 nim
keel
inglise