@InProceedings{LS06,
author={K. Lampka and M. Siegle},
title={Activity-Local Symbolic State Graph Generation for High-Level Stochastic Models},
booktitle={Proc. 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB)},
year={2006},

editor={},
pages={245-263},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}