Diagnostic modelling of digital systems with binary and high-level decision diagrams

vastutusandmed
Raimund Ubar, Jaan Raik, Helena Kruus, Harri Lensen, and Teet Evartson
allikas
Progress in industrial mathematics at ECMI 2006
ilmumiskoht
Heidelberg
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 902-907 : ill
seeria-sari
Mathematics in industry ; 12
ISBN
978-3-540-71991-5
märkused
Bibliogr.: 3 ref
keel
inglise