Normal view MARC view

International SPIN Workshop (30th : 2024 : Luxembourg, Luxembourg) (Meeting Name)

Number of records used in: 1

Preferred form: International SPIN Workshop (30th : 2024 : Luxembourg, Luxembourg)

Machine generated authority record

Work cat.: (AT-ISTA)767511: International SPIN Workshop (30th : 2024 : Luxembourg, Luxembourg), Model checking software :