Normal view MARC view

SPIN (Computer file) Congresses (Uniform Title)

Preferred form: SPIN (Computer file) Congresses

Machine generated authority record.

Work cat.: (AT-ISTA): SPIN'99 (1999 : Toulouse, France) 15102, Theoretical and practical aspects of SPIN model checking :, ©1999.

Powered by Koha