Diagnostic modelling of digital systems with binary and high-level decision diagrams
statement of authorship
Raimund Ubar, Jaan Raik, Helena Kruus, Harri Lensen, and Teet Evartson
source
Progress in industrial mathematics at ECMI 2006
location of publication
Heidelberg
publisher
year of publication
pages
p. 902-907 : ill
series
Mathematics in industry ; 12
ISBN
978-3-540-71991-5
notes
Bibliogr.: 3 ref
Ubar, R.-J., Raik, J., Kruus, H., Lensen, H., Evartson, T. Diagnostic modelling of digital systems with binary and high-level decision diagrams // Progress in industrial mathematics at ECMI 2006. Heidelberg : Springer, 2008. p. 902-907 : ill. (Mathematics in industry ; 12).