GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

First Page		Document Content
Date: 2007-07-05 11:36:54 Uniform polyhedra Prism PRISM model checker Model checking Grip		GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 622,85 KB Share Document on Facebook

	© ATM 2008 ● No reproduction except for legitimate academic purposes ● for permissions CUBISM AND CABRI Adrian Oldknow shows what is possible with Cabri by using it to model some of his holiday DocID: 1pIug - View Document
	PROPORTIONAL PRISM MAPS: A STATISTICAL MAPPING TECHNIQUE John Nimmer Goodyear Tire and Rubber Company DocID: 1pqf1 - View Document
	V.BulatovBending Hyperbolic Kaleidoscopes DocID: 1n94b - View Document
	Table 2. The "traditional" uniform polyhedra and the "new" uniform polyhedra that can be derived from them.3.3.3) DocID: 1n92c - View Document
	Algorithmic design of self-folding polyhedra Shivendra Pandeya, Margaret Ewingb, Andrew Kunasc, Nghi Nguyend, David H. Graciasa,e,1, and Govind Menonf,1 a Department of Chemical and Biomolecular Engineering, The Johns Ho DocID: 1lEZu - View Document