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