Back to Results
First PageMeta Content
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

Document Date: 2007-07-05 11:36:54

Open Document

File Size: 622,85 KB

Share Result on Facebook