Showing 1 - 1 results of 1 for search 'Minea, Marius', 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
    Other Authors:
    Full text (MCPHS users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: