Normal view
MARC view
Neele, Thomas (Personal Name)
Machine generated authority record
Work cat.: (AT-ISTA)767511: International SPIN Workshop (30th : 2024 : Luxembourg, Luxembourg) 1083267, Model checking software :