Marta Z. Kwiatkowska, Gethin Norman, David Parker
Symmetry Reduction for Probabilistic Model Checking
CAV, 2006.
@inproceedings{CAV-2006-KwiatkowskaNP,
author = "Marta Z. Kwiatkowska and Gethin Norman and David Parker",
booktitle = "{Proceedings of the 18th International Conference on Computer Aided Verification}",
doi = "10.1007/11817963_23",
isbn = "3-540-37406-X",
pages = "234--248",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Symmetry Reduction for Probabilistic Model Checking}",
volume = 4144,
year = 2006,
}