Normal view
MARC view
Computer systems Verification Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): MoChArt 2008 (2008 : Patra, Greece) 32388, Model checking and artificial intelligence :, ©2009.