On Model checking data−independent systems with arrays with whole−array operations
প্রধান লেখক: | , , |
---|---|
বিন্যাস: | Conference item |
প্রকাশিত: |
Springer LNCS
2005
|
সংক্ষিপ্ত: |
---|
প্রধান লেখক: | , , |
---|---|
বিন্যাস: | Conference item |
প্রকাশিত: |
Springer LNCS
2005
|
সংক্ষিপ্ত: |
---|