Volume 13, Number 1, February 1984
Volume 13, Number 2, April 1984
Volume 13, Number 3, June 1984
Volume 13, Number 4, August 1984
Volume 13, Number 5, October 1984
Volume 13, Number 6, December 1984
- Timo Niemi:
Specification of data restructuring software based on the attribute method.
425-460

- Subrata Dasgupta, Alan Wagner:
The use of hoare logic in the verification of horizontal microprograms.
461-490

- A. R. Hurson:
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner.
491-508

- Lena Chang, Arthur T. Poe:
Surjections and coverings.
509-520

Last update Wed May 22 17:46:48 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page