Príspevok k metódam nedeterministického generovania testov pre číslicové obvody : Č. ved. odb. 25-11-9. Obhaj. 10.11.2000 - Štefanovič, Juraj, 1964- (STU v Bratislave FEI, 2000)