Normal view
MARC view
MoChArt 2008 (2008 : Patra, Greece) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): MoChArt 2008 (2008 : Patra, Greece), Model checking and artificial intelligence :, ©2009.