An automatic protocol verification framework for the development of wireless sensor networks.

Taehyun Kim, Jaeho Kim, Sang-Shin Lee, Il-Yeup Ahn, Minan Song, Kwang-Ho Won

Browse the full TridentCom paper archive.