| |
| 2009 | ||
|---|---|---|
| 3 | EE | Peter Gammie: Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp. J. Funct. Program. 19(2): 254-256 (2009) |
| 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] |