Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science - Reduction - Document - PDFSEARCH.IO

First Page	Meta Content
	Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science Add to Reading List Document Date: 2009-07-01 05:37:09 Open Document File Size: 248,01 KB Share Result on Facebook

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing ScienceAdd to Reading List