@ARTICLE{4460546,
title={Slicing for uppaal},
author={Thrane, C. and S{\o}rensen, U.},
journal={Student Paper, 2008 Annual IEEE Conference},
year={15-26 Feb. 2008},
volume={},
number={},
pages={1-5},
doi={10.1109/AISPC.2008.4460546},
ISSN={}, }