Distributed verification of mixing-local forking proofs model

Jacek Cichoń, Marek Klonowski, Mirosław Kutyłowski
January 2008
Cite DOI
Type
Journal article
Publication
Lecture Notes in Computer Science