Browse by Publication
 | Up a level |
Number of items: 3.
Moran, M, Heather, J and Schneider, S (2012) Verifying anonymity in voting systems using CSP Formal Aspects of Computing . 1 - 36. ISSN 0934-5043
Schneider, S, Hoang, TS, Robinson, K and Treharne, H (2006) Tank monitoring: a pAMN case study Formal Aspects of Computing, 18 (3). 308 - 328. ISSN 0934-5043
Schneider, S and Treharne, H (2005) CSP theorems for communicating B machines FORMAL ASPECTS OF COMPUTING, 17 (4). 390 - 422. ISSN 0934-5043