Test generation with structurally synthesized BDD models
autor
Raik, Jaan
Ubar, Raimund-Johannes
vastutusandmed
J. Raik, R. Ubar
allikas
Proceedings of the 5th Electronic Devices and Systems Conference, Brno, June 11-12, 1998
ilmumiskoht
Brno
kirjastus/väljaandja
Technical University, Faculty of Electrical Engineering and Computer Science
ilmumisaasta
1998
leheküljed
p. 66-68
keel
inglise