Formal verification of a pervasive messaging system. Konur, S., Fisher, M., Dobson, S., & Knox, S. Formal Asp. Comput., 26(4):677–694, 2014.
Formal verification of a pervasive messaging system [link]Paper  doi  bibtex   
@article{DBLP:journals/fac/KonurFDK14,
  author    = {Savas Konur and
               Michael Fisher and
               Simon Dobson and
               Stephen Knox},
  title     = {Formal verification of a pervasive messaging system},
  journal   = {Formal Asp. Comput.},
  volume    = {26},
  number    = {4},
  pages     = {677--694},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00165-013-0277-4},
  doi       = {10.1007/s00165-013-0277-4},
  timestamp = {Tue, 20 Feb 2018 18:30:38 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/KonurFDK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0