Refinement-oriented probability for CSP (1995)
Cached
Download Links
- [web.comlab.ox.ac.uk]
- [ftp.comlab.ox.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Carroll Morgan
,
Annabelle McIver
,
Karen Seidel
,
J.W. Sanders
| Citations: | 30 - 5 self |
Document Versions
| Refinement-oriented probability for CSP –Carroll Morgan, Annabelle McIver, Karen Seidel, J.W. Sanders — 1995 |
| Refinement-oriented probability for CSP –Carroll Morgan, Annabelle McIver, Karen Seidel, J.W. Sanders, Jw S — 1995 — Formal Aspects of Computing |
