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

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Roscoe, A, Lazic, R, Newcomb, T
বিন্যাস: Conference item
প্রকাশিত: Springer LNCS 2005