On Model checking data−independent systems with arrays with whole−array operations
Prif Awduron: | , , |
---|---|
Fformat: | Conference item |
Cyhoeddwyd: |
Springer LNCS
2005
|
Crynodeb: |
---|
Prif Awduron: | , , |
---|---|
Fformat: | Conference item |
Cyhoeddwyd: |
Springer LNCS
2005
|
Crynodeb: |
---|