Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets

Heinz Wilhelm Schmidt
Bok · Tysk · 1989

Utgitt	München : Oldenbourg , 1989
Omfang	ix, 206 s. : ill.
Opplysninger	Avh. (doktorgrad) - Universität Bremen, 1988.
ISBN	3486212923