000 00317nam a2200109Ia 4500
999 _c4593
_d4593
008 190326s9999 xx 000 0 und d
082 _a378.242 H89H
100 _a Hugar, Virupaksh A.
_9830
245 0 _aHtgt: A Hierarchical Test Generation Tool For Functional Models
260 _aSurathkal
_bK.R.E.C
_c1994
942 _cTH