OXFORD UNIVERSITY COMPUTING LABORATORY

A representative function approach to symmetry exploitation for CSP refinement checking

N Moffat, M.H. Goldsmith and A.W. Roscoe

info

book title

Proceedings of IFCEM 2008

year

2008

links

BibTeX

Download (pdf)

related pages

people

activities

Random Image
Random Image
Random Image