Showing 1 - 2 results of 2 for search 'New York: Springer,', query time: 0.05s Refine Results
  1. 1
    A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

    A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking by Moffat, N, Goldsmith, M, Roscoe, B

    Published 2008
    “…Springer−Verlag New York Inc…”
    Conference item
  2. 2
    CAVIAR: a case study in specification

    CAVIAR: a case study in specification by Flinn, B, Sørensen, I

    Published 1986
    “…Springer−Verlag New York‚ Inc.…”
    Conference item

Search Tools: