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

Taehyun Kim Jaeho Kim Sangshin Lee Ilyeup Ahn Minan Song Kwangho Won An automatic protocol verification framework for the development of wireless sensor networks. 33 2008 TRIDENTCOM http://doi.acm.org/10.1145/1390576.1390617 conf/tridentcom/2008 db/conf/tridentcom/tridentcom2008.html#KimKLASW08