Multi-scale Verification of Distributed Synchronisation. Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. Formal Methods in Systems Design, 55(3):171–221, 2020. [S4]
doi  bibtex   3 downloads  
@article{GainerLDHF20,
  author    = {Paul Gainer and
               Sven Linker and
               Clare Dixon and
               Ullrich Hustadt and
               Michael Fisher},
  title     = {Multi-scale Verification of Distributed Synchronisation},
  journal   = {Formal Methods in Systems Design},
  volume    = {55},
  number    = {3},
  pages     = {171--221},
  year      = {2020},
  doi       = {10.1007/s10703-020-00347-z},
  note={[<span class="s4">S4</span>]}
}

Downloads: 3