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]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page