@article{WebsterBDFM18,
  author    =  {Matthew Webster and Michael Breza and Clare Dixon and Michael Fisher and Julie McCann},
  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="fs">FAIR-SPACE</span>, <span class="orca">ORCA</span>, <span class="rain">RAIN</span>]}
}

{"_id":"hf6KCL8xfvJCW2fg9","bibbaseid":"webster-breza-dixon-fisher-mccann-formalverificationofsynchronisationgossipandenvironmentaleffectsforwirelesssensornetworks-2018","downloads":0,"creationDate":"2019-03-18T14:10:28.763Z","title":"Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks","author_short":["Webster, M.","Breza, M.","Dixon, C.","Fisher, M.","McCann, J."],"year":2018,"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Matthew"],"propositions":[],"lastnames":["Webster"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Breza"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Julie"],"propositions":[],"lastnames":["McCann"],"suffixes":[]}],"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=\"fs\">FAIR-SPACE</span>, <span class=\"orca\">ORCA</span>, <span class=\"rain\">RAIN</span>]","bibtex":"@article{WebsterBDFM18,\n author = {Matthew 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=\"fs\">FAIR-SPACE</span>, <span class=\"orca\">ORCA</span>, <span class=\"rain\">RAIN</span>]}\n}\n\n","author_short":["Webster, M.","Breza, M.","Dixon, C.","Fisher, M.","McCann, J."],"key":"WebsterBDFM18","id":"WebsterBDFM18","bibbaseid":"webster-breza-dixon-fisher-mccann-formalverificationofsynchronisationgossipandenvironmentaleffectsforwirelesssensornetworks-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["formal","verification","synchronisation","gossip","environmental","effects","wireless","sensor","networks","webster","breza","dixon","fisher","mccann"],"keywords":[],"authorIDs":[],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend"]}