Vol 4, Issue 2, 1998
FAST AND EFFICIENT CACHE BEHAVIOUR PREDICTION; pp. 69–88
PDF | Abstract & References in HTML
FORMAL VERIFICATION OF THE BINARY EXPONENTIAL BACKOFF PROTOCOL; pp. 98–105
PDF | Abstract & References in HTML
SWITCHES AND JUMPS IN HYBRID ACTION SYSTEMS; pp. 106–118
PDF | Abstract & References in HTML
ON THE BORDER BETWEEN FUNCTIONAL PROGRAMMING AND PROGRAM SYNTHESIS; pp. 119–129
PDF | Abstract & References in HTML
COMBINING COMMUNICATING SEQUENTIAL PROCESSES AND TEMPORAL LOGIC; pp. 130–137
PDF | Abstract & References in HTML
DISTRIBUTION OF SOLAR ENERGY OUTPUT IN ESTONIA; pp. 138–143
PDF | Abstract & References in HTML
NUMERICAL SIMULATION OF THE DISTRIBUTION CHARACTERISTICS OF FINE SOLID PARTICLES IN A HORIZONTAL PIPE; pp. 144–160
PDF | Abstract & References in HTML