Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq : Formal engineering methods (22nd international conference)
In: Lecture notes in computer science 12531:287-296; Jg. 12531 (2020) S. 287-296
Konferenz
Zugriff:
Titel: |
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq : Formal engineering methods (22nd international conference)
|
---|---|
Autor/in / Beteiligte Person: | Bu, Hao ; Sun, Meng |
Link: | |
Quelle: | Lecture notes in computer science 12531:287-296; Jg. 12531 (2020) S. 287-296 |
Veröffentlichung: | 2020 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|