People
Publications
Projects
Contact
Study AI
↗
Intranet
↗
Open menu
Publications
/
Distributed verification of mixing-local forking proofs model
Journal
2008
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
DOI
10.1007/978-3-540-70500-0_10
← Back to Publications