Kim, I., Kang, M., Choi, J., Zegzhda, P., D., Kalinin, M. O., Zegzhda, D. P., & Kang, I. Formal verification of security model using SPR tool.
Citácia podľa Chicago (17th ed.)Kim, Il-Gon, Miyoung Kang, Jin-Young Choi, Peter Zegzhda, D, Maksim O. Kalinin, Dmitrij P. Zegzhda, a Inhye Kang. Formal Verification of Security Model Using SPR Tool.
Citácia podľa MLA (8th ed.)Kim, Il-Gon, et al. Formal Verification of Security Model Using SPR Tool.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..
