Proving Distributed Algorithms by Combining Refinement and Local Computations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. Proving Distributed Algorithms by Combining Refinement and Local Computations. ECEASST, 35, 2010. [doi]

@article{TounsiMM10,
  title = {Proving Distributed Algorithms by Combining Refinement and Local Computations},
  author = {Mohamed Tounsi and Mohamed Mosbah and Dominique Méry},
  year = {2010},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/442},
  researchr = {https://researchr.org/publication/TounsiMM10},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {35},
}

runs on WebDSL