| |
| 1997 | ||
|---|---|---|
| 2 | Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440 | |
| 1996 | ||
| 1 | Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen: Symbolic Model Checking. CAV 1996: 419-427 | |
| 1 | Christel Baier | [2] |
| 2 | Sérgio Vale Aguiar Campos | [1] |
| 3 | Edmund M. Clarke | [1] [2] |
| 4 | Marta Z. Kwiatkowska | [2] |
| 5 | Kenneth L. McMillan | [1] |
| 6 | Mark Ryan (Mark Dermot Ryan) | [2] |