{"_id":"MPKS6HM3JWwgWMSAw","bibbaseid":"anonymous-formalverificationofsynchronisationgossipandenvironmentaleffectsforwirelesssensornetworks-2018","downloads":0,"creationDate":"2018-12-06T15:06:14.226Z","title":"Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks","author_short":null,"year":2018,"bibtype":"article","biburl":"https://autonomy-and-verification-uol.github.io/hubpubs.bib","bibdata":{"bibtype":"article","type":"article","author":"Webster[object Object],[object Object],[object Object],[object Object],[object Object]","title":"Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks","journal":"Electronic Communications of the EASST","volume":"","year":"2018","note":"[<span class=\"fairspace\">FAIR-SPACE</span>, <span class=\"orca\">ORCA</span>, <span class=\"rain\">RAIN</span>]","bibtex":"@article{WebsterBDFM18,\n author = Webster # { and Michael Breza and Clare Dixon and Michael Fisher and Julie McCann},\n title = {Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks},\n journal = {Electronic Communications of the EASST},\n volume = {},\n year = {2018},\n note = {[<span class=\"fairspace\">FAIR-SPACE</span>, <span class=\"orca\">ORCA</span>, <span class=\"rain\">RAIN</span>]}\n}\n\n\n","key":"WebsterBDFM18","id":"WebsterBDFM18","bibbaseid":"anonymous-formalverificationofsynchronisationgossipandenvironmentaleffectsforwirelesssensornetworks-2018","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["formal","verification","synchronisation","gossip","environmental","effects","wireless","sensor","networks"],"keywords":[],"authorIDs":[],"dataSources":["FoK8CAiSSBYifiy8q"]}