Normal view
MARC view
SPIN (Logiciel) Congrès (Uniform Title)
Machine generated authority record.
Work cat.: (AT-ISTA): International SPIN Workshop (11th : 2004 : Barcelona, Spain) 19629, Model checking software :, ©2004.