Young Ah Ahn

	2004
2		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, Jin-Young Choi: FDR verification of ESANP protocol in Ad hoc Network. SNPD 2004: 141-145

Coauthor Index

1	Jin-Young Choi	[1] [2]
2	Jin Hyun Kim	[2]
3	Na-Young Lee	[2]
4	Su-Young Lee	[2]
5	Jae-Hwan Sim	[2]
6	Jin Seok Yang	[2]