other persons with the same name:
| 2004 | ||
|---|---|---|
| c1 | Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi: Development of RTOS for PLC Using Formal Methods. ATVA 2004: 479-482 | |
| 1 | Young Ah Ahn | |
| 2 | Jin-Young Choi | |
| 3 | Jin Hyun Kim | |
| 4 | Na-Young Lee | |
| 5 | Jae-Hwan Sim | |
| 6 | Jin Seok Yang |
Data released under the ODC-BY 1.0 license — See also our legal information page