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

ग्रंथसूची विवरण
मुख्य लेखकों: Roscoe, A, Lazic, R, Newcomb, T
स्वरूप: Conference item
प्रकाशित: Springer LNCS 2005