2004-11-25
On distributed verification and verified distribution
Publication
Publication
Additional Metadata | |
---|---|
W.J. Fokkink (Wan) | |
Vrije Universiteit Amsterdam | |
Institute for Programming research and Algorithmics Dissertation Series ; 2004-17 | |
Orzan, S.-M. (2004, November 25). On distributed verification and verified distribution. IPA dissertation series. |