Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
Michaël Rusinowitch, Sorin Stratulat, Francis KlayVolume:
30
Language:
english
Pages:
25
DOI:
10.1023/a:1023251327012
Date:
February, 2003
File:
PDF, 178 KB
english, 2003