Sciweavers

EUMAS
2006

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete

14 years 1 months ago
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete
Wojciech Jamroga, Jürgen Dix
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where EUMAS
Authors Wojciech Jamroga, Jürgen Dix
Comments (0)