Probability, Parallelism and the State Space Exploration Problem William Knottenbelt1 , Mark Mestern2 , Peter Harrison1, and Pieter Kritzinger2 1 Department of Computing, Imperial College, 180 Queens Gate, London SW7 2B - Probability space - Document - PDFSEARCH.IO

First Page	Meta Content
	Probability, Parallelism and the State Space Exploration Problem William Knottenbelt1 , Mark Mestern2 , Peter Harrison1, and Pieter Kritzinger2 1 Department of Computing, Imperial College, 180 Queens Gate, London SW7 2B Add to Reading List Document Date: 2007-02-18 15:33:09 Open Document File Size: 638,90 KB Share Result on Facebook

Probability, Parallelism and the State Space Exploration Problem William Knottenbelt1 , Mark Mestern2 , Peter Harrison1, and Pieter Kritzinger2 1 Department of Computing, Imperial College, 180 Queens Gate, London SW7 2BAdd to Reading List