| |
| 1999 | ||
|---|---|---|
| 1 | EE | Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim: Applying Model Checking to Concurrent Object-Oriented Software. ISADS 1999: 380-383 |
| 1 | Doo-Hwan Bae | [1] |
| 2 | Sung Deok Cha | [1] |
| 3 | Seung Mo Cho | [1] |
| 4 | Sang Taek Kim | [1] |
| 5 | Young Gon Kim | [1] |