你即將離開本站

並前往https://software.imdea.org/~cesar/papers/2016/amai/abstract.html

Temporal Verification of Symmetric Parametrized Concurrent ...

This paper studies the problem of verifying temporal properties (including liveness properties) of parametrized concurrent systems executed ...

確定！ 回上一頁

查詢 「Parametrized」的人也找了：

  1. parametrized中文
    2.
  2. Parametrize
    3.
  3. parameterized中文
    4.
  4. Parametrized curve
    5.
  5. Parameterize
    6.
  6. Parameterise
    7.