| |
| 1994 | ||
|---|---|---|
| 2 | Shipei Zhang, Oleg Sokolsky, Scott A. Smolka: On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS 1994: 154-163 | |
| 1992 | ||
| 1 | Shipei Zhang, Scott A. Smolka: Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135 | |
| 1 | Scott A. Smolka | [1] [2] |
| 2 | Oleg Sokolsky | [2] |