Operational semantics of timed interacting systems
an algebraic performance oriented formal description technique
Gespeichert in:
Verfasser / Beitragende:
Ina Schieferdecker, Adam Wolisz
Ort, Verlag, Jahr:
Berlin :
TU,
1992
Beschreibung:
43 Blatt
Format:
Buch