| |
| 1992 | ||
|---|---|---|
| 2 | Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang: Symbolic Model Checking: 10^20 States and Beyond Inf. Comput. 98(2): 142-170 (1992) | |
| 1990 | ||
| 1 | Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang: Symbolic Model Checking: 10^20 States and Beyond LICS 1990: 428-439 | |
| 1 | Jerry R. Burch | [1] [2] |
| 2 | Edmund M. Clarke | [1] [2] |
| 3 | David L. Dill | [1] [2] |
| 4 | Kenneth L. McMillan | [1] [2] |