|
[DM05]
A. Donaldson and A. Miller.
Symmetry Reduction for Probabilistic Systems.
In Proc. 12th workshop on Automated Reasoning, pages 17-18.
July 2005.
[bib]
http://www.dcs.gla.ac.uk/people/personal/alice/publications.html
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.dcs.gla.ac.uk/people/personal/alice/publications.html
|