@InProceedings{WK06,
author={X Wang and M. Kwiatkowska},
title={Compositional state space reduction using untangled actions},
booktitle={Proc. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)},
year={2006},

editor={},
pages={},
organization={},
publisher={},
series={Electronic Notes in Theoretical Computer Science},
volume={175},
address={},
month={},
note={Technical Report 2006/10, Department of Computing, Imperial College London.},
key={}
}