![Uniform polyhedra / Prism / PRISM model checker / Model checking / Grip Uniform polyhedra / Prism / PRISM model checker / Model checking / Grip](https://www.pdfsearch.io/img/669cd45e22d7f24449a74db55a374312.jpg) Date: 2007-07-05 11:36:54Uniform polyhedra Prism PRISM model checker Model checking Grip | | GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 622,85 KBShare Document on Facebook
|