| |
| 2000 | ||
|---|---|---|
| 1 | Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402 | |
| 1 | Limor Fix | [1] |
| 2 | Ranan Fraer | [1] |
| 3 | Gila Kamhi | [1] |
| 4 | Moshe Y. Vardi | [1] |