Test generation for sequential digital systems based on symbolic simulation

author
Skobtsov, Yu.
statement of authorship
V.Skobtsov, Yu.Skobtsov
location of publication
[Tallinn]
year of publication
pages
p. 341-344: ill
ISBN
9985-59-081-3
notes
Bibl. 7 ref
language
inglise