On Model checking data−independent systems with arrays with whole−array operations

Manylion Llyfryddiaeth
Prif Awduron: Roscoe, A, Lazic, R, Newcomb, T
Fformat: Conference item
Cyhoeddwyd: Springer LNCS 2005