@inproceedings{DBLP:conf/cdc/BujorianuK08,
author = {Manuela L. Bujorianu and
Joost-Pieter Katoen},
title = {Symmetry reduction for stochastic hybrid systems},
booktitle = {CDC},
year = {2008},
pages = {233-238},
ee = {http://dx.doi.org/10.1109/CDC.2008.4739086},
crossref = {DBLP:conf/cdc/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cdc/2008,
title = {Proceedings of the 47th IEEE Conference on Decision and
Control, CDC 2008, December 9-11, 2008, Canc{\'u}n, M{\'e}xico},
booktitle = {CDC},
publisher = {IEEE},
year = {2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}