-
Selection by year
-
Selection by authors
-
Complete lists
bertrand:hal-03095637
Nathalie Bertrand. Model checking randomized distributed algorithms. ACM SIGLOG News, 7(1):35-45, February 2020.
Contact
Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
BibTex Reference
@article{bertrand:hal-03095637,
Author = {Bertrand, Nathalie},
Title = {{Model checking randomized distributed algorithms}},
Journal = {{ACM SIGLOG News}},
Volume = {7},
Number = {1},
Pages = {35--45},
Publisher = {{ACM}},
Month = {February},
Year = {2020}
}
EndNote Reference [help]
Get EndNote Reference (.ref)