First Page | Document Content | |
---|---|---|
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. EdinburghAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 622,85 KBShare Document on Facebook |