|
[ZH06]
M. Zhang and D. Van Hung.
Formal Analysis of Streaming Downloading Protocol for System Upgrading.
In Proc. 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 06). Also available as UNU-IIST Report No. 332.
April 2006.
[bib]
http://www.iist.unu.edu/~dvh/publications_2.html
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.iist.unu.edu/~dvh/publications_2.html
|