Navigation
Papers
Alastair F. Donaldson, Alice Miller. Exact and Approximate Strategies for Symmetry Reduction in Model Checking. In Proceedings of the 14th International Symposium on Formal Methods (FM'06), Lecture Notes in Computer Science 4085, pages 541-556. Springer, 2006.
Bibtex:
@inproceedings{DonaldsonM_FM2006,
title = {Exact and Approximate Strategies for Symmetry
Reduction in Model Checking},
author = {Alastair F. Donaldson and Alice Miller},
booktitle = {Proceedings of the 14th International Symposium
on Formal Methods (FM'06)},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {541-556},
publisher = {Springer},
year = {2006}
}