Normal view
MARC view
Graf, Susanne (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International SPIN Workshop (11th : 2004 : Barcelona, Spain) 19629, Model checking software :, ©2004.