Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Operational semantics of timed interacting systems

An algebraic performance oriented formal description technique
 
: Schieferdecker, Ina; Wolisz, Adam
: TU Berlin, Fachbereich 20 Informatik

Berlin, 1992, 43 S.
Technische Universität Berlin, Fachbereich Informatik.Technischer Bericht, 1992,19
Englisch
Bericht
Fraunhofer GMD

: http://publica.fraunhofer.de/dokumente/N-41858.html