%0 Conference Paper %1 conf/iciss/SilvaRSM16 %A Silva, Douglas Simões %A Resner, Davi %A de Souza, Rick Lopes %A Martina, Jean Everson %B ICISS %D 2016 %E Ray, Indrajit %E Gaur, Manoj Singh %E Conti, Mauro %E Sanghi, Dheeraj %E Kamakoti, V. %I Springer %K dblp %P 426-443 %T Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. %U http://dblp.uni-trier.de/db/conf/iciss/iciss2016.html#SilvaRSM16 %V 10063 %@ 978-3-319-49805-8

@inproceedings{conf/iciss/SilvaRSM16, added-at = {2017-09-16T00:00:00.000+0200}, author = {Silva, Douglas Simões and Resner, Davi and de Souza, Rick Lopes and Martina, Jean Everson}, biburl = {https://www.bibsonomy.org/bibtex/283d459d5eea37e7da8038274e36141d2/dblp}, booktitle = {ICISS}, crossref = {conf/iciss/2016}, editor = {Ray, Indrajit and Gaur, Manoj Singh and Conti, Mauro and Sanghi, Dheeraj and Kamakoti, V.}, ee = {https://doi.org/10.1007/978-3-319-49806-5_23}, interhash = {ef0748e0bb5f9eb1545d40ee29df4f40}, intrahash = {83d459d5eea37e7da8038274e36141d2}, isbn = {978-3-319-49805-8}, keywords = {dblp}, pages = {426-443}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-11T12:04:43.000+0200}, title = {Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks.}, url = {http://dblp.uni-trier.de/db/conf/iciss/iciss2016.html#SilvaRSM16}, volume = 10063, year = 2016 }