Showing 1 - 4 results of 4 for search 'CSREA Press', query time: 0.13s Refine Results
  1. 1
  2. 2

    Data independence with predicate symbols by Roscoe, A, Lazic, R

    Published 1999
    “…CSREA Press…”
    Conference item
  3. 3

    Formal Verification of Arbitrary Network Topologies by Roscoe, A, Creese, S

    Published 1999
    “…CSREA Press…”
    Conference item
  4. 4