Algebraic Specifications of the Software Controlling a Parcels Distribution Machine

Schneider HJ (1981)


Publication Language: English

Publication Type: Book chapter / Article in edited volumes

Publication year: 1981

Publisher: Springer

Edited Volumes: Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten

Series: Computing Supplementum

City/Town: Wien

Book Volume: 3

Pages Range: 173-180

ISBN: 978-3-211-81606-6

DOI: 10.1007/978-3-7091-8596-4_12

Authors with CRIS profile

How to cite

APA:

Schneider, H.J. (1981). Algebraic Specifications of the Software Controlling a Parcels Distribution Machine. In Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten. (pp. 173-180). Wien: Springer.

MLA:

Schneider, Hans Jürgen. "Algebraic Specifications of the Software Controlling a Parcels Distribution Machine." Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten. Wien: Springer, 1981. 173-180.

BibTeX: Download