First Page | Document Content | |
---|---|---|
Date: 2009-07-01 05:37:09 | Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing ScienceAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 248,01 KBShare Document on Facebook |