Peter Gammie

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

Coauthor Index

1	Kai Engelhardt	[2]
2	Ron van der Meyden	[1] [2]