@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>]}
}

{"_id":"4L4ApbGiNxcvHi5uq","bibbaseid":"gainer-linker-dixon-hustadt-fisher-multiscaleverificationofdistributedsynchronisation-2020","authorIDs":["DJofX33ALvdrbndrr","aQLR39RKeqjQcByRb"],"author_short":["Gainer, P.","Linker, S.","Dixon, C.","Hustadt, U.","Fisher, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Gainer"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"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>]","bibtex":"@article{GainerLDHF20,\n author = {Paul Gainer and\n Sven Linker and\n Clare Dixon and\n Ullrich Hustadt and\n Michael Fisher},\n title = {Multi-scale Verification of Distributed Synchronisation},\n journal = {Formal Methods in Systems Design},\n volume = {55},\n number = {3},\n pages = {171--221},\n year = {2020},\n doi = {10.1007/s10703-020-00347-z},\n note={[<span class=\"s4\">S4</span>]}\n}\n\n","author_short":["Gainer, P.","Linker, S.","Dixon, C.","Hustadt, U.","Fisher, M."],"key":"GainerLDHF20","id":"GainerLDHF20","bibbaseid":"gainer-linker-dixon-hustadt-fisher-multiscaleverificationofdistributedsynchronisation-2020","role":"author","urls":{},"metadata":{"authorlinks":{"linker, s":"https://cgi.csc.liv.ac.uk/~slk/index.php","hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":3},"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2020-11-20T03:10:43.571Z","downloads":3,"keywords":[],"search_terms":["multi","scale","verification","distributed","synchronisation","gainer","linker","dixon","hustadt","fisher"],"title":"Multi-scale Verification of Distributed Synchronisation","year":2020,"dataSources":["77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend","FgmYE34DdKWThg2dR","viaGT23rwj7vKvjeq","WhiGijHmCtTSdLaAj"]}