Test generation with structurally synthesized BDD models

statement of authorship
J. Raik, R. Ubar
location of publication
Brno
year of publication
pages
p. 66-68
language
inglise
Raik, J., Ubar, R. Test generation with structurally synthesized BDD models // Proceedings of the 5th Electronic Devices and Systems Conference, Brno, June 11-12, 1998. Brno : Technical University, Faculty of Electrical Engineering and Computer Science, 1998. p. 66-68.