On Model checking data−independent systems with arrays with whole−array operations
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Springer LNCS
2005
|
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Springer LNCS
2005
|