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

書誌詳細
主要な著者: Roscoe, A, Lazic, R, Newcomb, T
フォーマット: Conference item
出版事項: Springer LNCS 2005