Test generation for microprocessors on alternative graphsAlango, Villem; Kont, Toomas; Ubar, Raimund-Johannes33. Internationales Wissenschaftliches Kolloquium : 24.-28.10.1988. H.3 Vortragsreihe B, technische und angewandte Informatik/Computertechnik1988 / p. 11-14