Multi-Scale Verification of Distributed Synchronisation. Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. CoRR, 2018. [S4]
Multi-Scale Verification of Distributed Synchronisation [link]Paper  bibtex   
@article{DBLP:journals/corr/abs-1809-10655,
  author    = {Paul Gainer and
               Sven Linker and
               Clare Dixon and
               Ullrich Hustadt and
               Michael Fisher},
  title     = {Multi-Scale Verification of Distributed Synchronisation},
  journal   = {CoRR},
  volume    = {abs/1809.10655},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.10655},
  archivePrefix = {arXiv},
  eprint    = {1809.10655},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-10655},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note = {[<span class="s4">S4</span>]}
}

Downloads: 0