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

Библиографические подробности
Главные авторы: Roscoe, A, Lazic, R, Newcomb, T
Формат: Conference item
Опубликовано: Springer LNCS 2005