@InProceedings{GB05,
author={N. Geisweiller and J. Bonte},
title={Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking},
booktitle={Proc. Workshop on Structural Operational Semantics (SOS'04)},
year={2005},

editor={},
pages={3-24},
organization={},
publisher={},
series={Electronic Notes in Theoretical Computer Science},
volume={128},
address={},
month={},
note={},
key={}
}