You are here: TUCS > PUBLICATIONS > Publication Search > A Healthcare Case Study
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
A Healthcare Case Study
Luigia Petre, Elena Troubitsyna, Marina Waldén, A Healthcare Case Study. In: Proceedings of RCS - International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, 2002.
BibTeX entry:
@INPROCEEDINGS{pPeTrWa02a,
title = {A Healthcare Case Study},
booktitle = {Proceedings of RCS - International Workshop on Refinement of Critical Systems: Methods, Tools and Experience},
author = {Petre, Luigia and Troubitsyna, Elena and Waldén, Marina},
year = {2002},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)