On Model checking data−independent systems with arrays with whole−array operations
主要な著者: | Roscoe, A, Lazic, R, Newcomb, T |
---|---|
フォーマット: | Conference item |
出版事項: |
Springer LNCS
2005
|
類似資料
-
On Model Checking Data−independent Systems with Arrays without Reset
著者:: Roscoe, A, 等
出版事項: (2001) -
On Model Checking Data−independent Systems with Arrays without Reset
著者:: Roscoe, A, 等
出版事項: (2004) -
Model checking data-independent systems with arrays
著者:: Newcomb, T, 等
出版事項: (2003) -
Polymorphic systems with arrays: decidability and undecidability
著者:: Roscoe, A, 等
出版事項: (2003) -
Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting
著者:: Roscoe, A, 等
出版事項: (2004)