Hierarchical test generation for finite state machines

statement of authorship
M.Brik, R.Ubar
location of publication
Tallinn
year of publication
pages
p. 319-324: ill
ISBN
9985-59-012-0
notes
Bibl. 10 ref