On Model checking data−independent systems with arrays with whole−array operations
मुख्य लेखकों: | , , |
---|---|
स्वरूप: | Conference item |
प्रकाशित: |
Springer LNCS
2005
|
सारांश: |
---|
मुख्य लेखकों: | , , |
---|---|
स्वरूप: | Conference item |
प्रकाशित: |
Springer LNCS
2005
|
सारांश: |
---|