Operational semantics of timed interacting systems

an algebraic performance oriented formal description technique

Verfasser / Beitragende:
Ina Schieferdecker, Adam Wolisz
Ort, Verlag, Jahr:
Berlin : TU, 1992
Beschreibung:
43 Blatt
Format:
Buch
ID: 549174532