Journal2008

Distributed verification of mixing-local forking proofs model

Cichoń, Jacek,Klonowski, Marek,Klonowski, Marek,Kutyłowski, Mirosław
Venue
*Lecture Notes in Computer Science*
Date
1 January 2008