|
[GW05]
M. Goldsmith and P. Whittaker.
A CSP Frontend for Probabilistic Tools.
Technical report FORWARD Deliverable D14, Formal Systems (Europe Ltd).
June 2005.
[bib]
|
|
Downloads:
 bib
|
|
Available from:
http://www.forward-project.org.uk/PDF_Files/D14.pdf
|
