| |
| 2008 | ||
|---|---|---|
| 1 | EE | Taehyun Kim, Jaeho Kim, Sangshin Lee, Ilyeup Ahn, Minan Song, Kwangho Won: An automatic protocol verification framework for the development of wireless sensor networks. TRIDENTCOM 2008: 33 |
| 1 | Jaeho Kim | [1] |
| 2 | Taehyun Kim | [1] |
| 3 | Sangshin Lee | [1] |
| 4 | Minan Song | [1] |
| 5 | Kwangho Won | [1] |