Normal view
MARC view
SPIN (Computer file) (Uniform Title)
Machine generated authority record.
Work cat.: (AT-ISTA): SPIN'99 (1999 : Toulouse, France) 15102, Theoretical and practical aspects of SPIN model checking :, ©1999.