Specification of data restructuring software based on the attribute method Timo Niemi OriginalPaper Pages: 425 - 460
The use of hoare logic in the verification of horizontal microprograms Subrata DasguptaAlan Wagner OriginalPaper Pages: 461 - 490
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner A. R. Hurson OriginalPaper Pages: 491 - 508