Taehyun Kim, Jaeho Kim, Sangshin Lee, Ilyeup Ahn, Minan Song, Kwangho Won. An automatic protocol verification framework for the development of wireless sensor networks. In Miguel Ponce de Leon, editor, 4th International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2008), March 18-20, 2008, Innsbruck, Austria. pages 33, ICST, 2008. [doi]
Abstract is missing.