Machine generated authority record.

Work cat.: (OSt)0: MoChArt 2008 (2008 : Patrai, Greece), Model Checking and Artificial Intelligence, c2009.