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