### Table 4. Local model-checking statistics

"... In PAGE 22: ... All experiments have been performed on a Sparc Ultra 1 machine with 256 Mbytes of memory. The results are shown in Table4 . For each experiment, the table gives the number of states of the Lts, the time (in minutes) required for the local model-checking of each property, and the percentage of states explored by each tool.... ..."

### Table 4. Local model-checking statistics

"... In PAGE 23: ... All experiments have been performed on a Sparc Ultra 1 machine with 256 Mbytes of memory. The results are shown in Table4 . For each experiment, the table gives the number of states of the Lts, the time (in minutes) required for the local model-checking of each property, and the percentage of states explored by each tool.... ..."

### Table 1. Model output available for CSI Local Modeling Project evaluation

### TABLE II ERROR MODELING FOR LOCALIZATION

### Table 2. Parameters of the local models obtained by different identification method.

2000

Cited by 6

### Table 1: Summary of local modeling method that generated the winning entry.

1999

Cited by 2

### TABLE 2. BOUNDARY CORRECTION FACTORS FROM THREE MESHES OF LOCAL MODEL

in Comparison of Boundary Correction Factor Solutions for Two Symmetric Cracks in a Straight-Shank Hole

1999