Sciweavers

CAV
2004
Springer

MCK: Model Checking the Logic of Knowledge

14 years 5 months ago
MCK: Model Checking the Logic of Knowledge
Peter Gammie, Ron van der Meyden
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Peter Gammie, Ron van der Meyden
Comments (0)