E-Thesis 809 views 244 downloads
Implementation of the stable revivals model in CSP-Prover. / Gift Samuel Devadoss
Swansea University Author: Gift Samuel Devadoss
-
PDF | E-Thesis
Download (5.51MB)
Abstract
Implementation of the stable revivals model in CSP-Prover.
| Published: |
2008
|
|---|---|
| Institution: | Swansea University |
| Degree level: | Master of Philosophy |
| Degree name: | M.Phil |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa43189 |
| College: |
Faculty of Science and Engineering |
|---|