%0 Conference Paper %1 conf/css/KimuraY13 %A Kimura, Natsuki %A Yoshiura, Noriaki %B CSS %D 2013 %E Wang, Guojun %E Ray, Indrakshi %E Feng, Dengguo %E Rajarajan, Muttukrishnan %I Springer %K dblp %P 198-212 %T Construction and Verification of Mobile Ad Hoc Network Protocols. %U http://dblp.uni-trier.de/db/conf/css/css2013.html#KimuraY13 %V 8300 %@ 978-3-319-03583-3

@inproceedings{conf/css/KimuraY13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kimura, Natsuki and Yoshiura, Noriaki}, biburl = {https://www.bibsonomy.org/bibtex/216ef6b4f9568eca69ae5c232c7a92839/dblp}, booktitle = {CSS}, crossref = {conf/css/2013}, editor = {Wang, Guojun and Ray, Indrakshi and Feng, Dengguo and Rajarajan, Muttukrishnan}, ee = {https://doi.org/10.1007/978-3-319-03584-0_15}, interhash = {fe6a5368667df5bb3de5e81356c81b0c}, intrahash = {16ef6b4f9568eca69ae5c232c7a92839}, isbn = {978-3-319-03583-3}, keywords = {dblp}, pages = {198-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:35:09.000+0200}, title = {Construction and Verification of Mobile Ad Hoc Network Protocols.}, url = {http://dblp.uni-trier.de/db/conf/css/css2013.html#KimuraY13}, volume = 8300, year = 2013 }