On Model checking data−independent systems with arrays with whole−array operations
Main Authors: | , , |
---|---|
Formato: | Conference item |
Publicado em: |
Springer LNCS
2005
|
Resumo: |
---|
Main Authors: | , , |
---|---|
Formato: | Conference item |
Publicado em: |
Springer LNCS
2005
|
Resumo: |
---|