Normal view MARC view

International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands) (Meeting Name)

Preferred form: International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands)

Machine generated authority record.

Work cat.: (AT-ISTA): International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands), Model checking software :

Powered by Koha