Normal view MARC view

SPIN (Logiciel) (Uniform Title)

Preferred form: SPIN (Logiciel)

Machine generated authority record.

Work cat.: (AT-ISTA): International SPIN Workshop (11th : 2004 : Barcelona, Spain) 19629, Model checking software :, ©2004.

Powered by Koha