Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I > Towards a Verified Model of the Algorand Consensus Protocol in Coq
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I |
Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas
Springer International Publishing
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Authors

Musab A. Alturki; Jing Chen; Victor Luchangco; Brandon Moore; Karl Palmskog; Lucas Peña et al.

ARI Id

1665269254934_5646236

Access

Not Available Free

Pages

362-367

DOI

10.1007/978-3-030-54994-7_27

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-54994-7_27

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings