2004-11-25
On distributed verification and verified distribution
Publication
Publication
| Additional Metadata | |
|---|---|
| W.J. Fokkink (Wan) | |
| Vrije universiteit Amsterdam | |
| hdl.handle.net/1871/10338 | |
| 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. Retrieved from http://hdl.handle.net/1871/10338 |
|