CHOI, J. (2007, January 1). Kernel aware module verification for robust reconfigurable operating system : Operating systems and adaptive applications (OSAA) track. 23(5). Taipei: Institute of Information Science, Academia sinica, 2007. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19097834
ISO-690 (author-date, English)CHOI, Jongmoo, 2007. Kernel aware module verification for robust reconfigurable operating system : Operating systems and adaptive applications (OSAA) track. In: [online]. Taipei: Institute of Information Science, Academia sinica, 2007. 1 January 2007. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19097834
Modern Language Association 9th editionCHOI, J. Kernel aware module verification for robust reconfigurable operating system : Operating systems and adaptive applications (OSAA) track. no. 5, Taipei: Institute of Information Science, Academia sinica, 2007., 2007, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19097834.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
CHOI, J. (2007), “Kernel aware module verification for robust reconfigurable operating system : Operating systems and adaptive applications (OSAA) track”, in , Vol. 23, Taipei: Institute of Information Science, Academia sinica, 2007., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19097834.