Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

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

 
: Schmidt, H.-W.

München: Oldenbourg, 1989, IX, 206 pp.
Zugl.: Bremen, Univ., Diss., 1988
GMD-Bericht, 176
ISBN: 3-486-21292-3
English
Dissertation
Fraunhofer GMD

: http://publica.fraunhofer.de/documents/N-42477.html