![]() | ![]() |
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] |