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

Xehetasun bibliografikoak
Egile Nagusiak: Roscoe, A, Lazic, R, Newcomb, T
Formatua: Conference item
Argitaratua: Springer LNCS 2005