Diefenbruch, Marc; Meyer, Torsten:
On Formal Modelling and Verifying Performance Requirements of Distributed Systems
In: Integrated Design and Process Technology : presented at the Second World Conference on Integrated Design and Process Technology, Austin Texas, December 1 - 4, 1996 ; Vol. 1 / Cooke, D.; Krämer, B. J.; Tsai, J. P.; Mittermeir, R. (Eds.). - Second World Conference on Integrated Design and Process Technology ; DeceProceedings the Second World Conference on Integrated Design and Process Technology ; December 1-4, 1996, Austin, Texas - Austin, Texas: Society for Design and Process Science, 1996, pp. 210 - 217
1996book article/chapter in Proceedings
Computer Science
Title in English:
On Formal Modelling and Verifying Performance Requirements of Distributed Systems
Author:
Diefenbruch, Marc;Meyer, Torsten
Language of text:
English
Appears in
Integrated Design and Process Technology : presented at the Second World Conference on Integrated Design and Process Technology, Austin Texas, December 1 - 4, 1996 ; Vol. 1
Conference
Second World Conference on Integrated Design and Process Technology ; DeceProceedings the Second World Conference on Integrated Design and Process Technology ; December 1-4, 1996, Austin, Texas
Editor:
Cooke, D.;Krämer, B. J.;Tsai, J. P.;Mittermeir, R.
Contributor:
Sheu, P. C-Y.
Place of publication:
Austin, Texas
Publisher:
Society for Design and Process Science
Year of publication:
1996
in:
pp. 210 - 217