A representative function approach to symmetry exploitation for CSP refinement checking
N Moffat‚ M.H. Goldsmith and A.W. Roscoe
Details
| Book Title |
Proceedings of IFCEM 2008 |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |