| |
| 2006 | ||
|---|---|---|
| 1 | Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang: Formal Verification of Security Model Using SPR Tool. Computers and Artificial Intelligence 25(5): (2006) | |
| 1 | Jin-Young Choi | [1] |
| 2 | Maxim O. Kalinin | [1] |
| 3 | Inhye Kang | [1] |
| 4 | Il-Gon Kim | [1] |
| 5 | Dmitry P. Zegzhda | [1] |
| 6 | Peter D. Zegzhda | [1] |