%0 Conference Paper %1 conf/tridentcom/KimKLASW08 %A Kim, Taehyun %A Kim, Jaeho %A Lee, Sang-Shin %A Ahn, Il-Yeup %A Song, Minan %A Won, Kwang-Ho %B TRIDENTCOM %D 2008 %E de Leon, Miguel Ponce %I ICST %K dblp %P 33 %T An automatic protocol verification framework for the development of wireless sensor networks. %U http://dblp.uni-trier.de/db/conf/tridentcom/tridentcom2008.html#KimKLASW08 %@ 978-963-9799-24-0

@inproceedings{conf/tridentcom/KimKLASW08, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kim, Taehyun and Kim, Jaeho and Lee, Sang-Shin and Ahn, Il-Yeup and Song, Minan and Won, Kwang-Ho}, biburl = {https://www.bibsonomy.org/bibtex/2276edcf371838e642e6f6661b09f39cc/dblp}, booktitle = {TRIDENTCOM}, crossref = {conf/tridentcom/2008}, editor = {de Leon, Miguel Ponce}, ee = {http://doi.acm.org/10.1145/1390576.1390617}, interhash = {a9fe034970e53fb150113e267b5b1a2c}, intrahash = {276edcf371838e642e6f6661b09f39cc}, isbn = {978-963-9799-24-0}, keywords = {dblp}, pages = 33, publisher = {ICST}, timestamp = {2018-08-24T11:53:17.000+0200}, title = {An automatic protocol verification framework for the development of wireless sensor networks.}, url = {http://dblp.uni-trier.de/db/conf/tridentcom/tridentcom2008.html#KimKLASW08}, year = 2008 }