Showing 1 - 1 results of 1 for search 'NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania', query time: 0.01s Refine Results
  1. 1
    Verification of infinite-state systems with applications to security

    Verification of infinite-state systems with applications to security

    Published 2006
    “…NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania…”
    Full text (MCPHS users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: