Title of article

Refinement verification of the lazy caching algorithm

Author/Authors

Wim H. Hesselink، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2006

Pages

28

From page

195

To page

222

Journal title

acta Informatica

Serial Year

2006

Journal title

acta Informatica

Record number

287847