| 2007 | ||
|---|---|---|
| 2 | EE | Kai Engelhardt, Peter Gammie, Ron van der Meyden: Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS 2007: 195-211 |
| 2004 | ||
| 1 | EE | Peter Gammie, Ron van der Meyden: MCK: Model Checking the Logic of Knowledge. CAV 2004: 479-483 |
| 1 | Kai Engelhardt | [2] |
| 2 | Ron van der Meyden | [1] [2] |