Normal view
MARC view
International SPIN Workshop (28th : 2022 : Online) (Meeting Name)
Machine generated authority record
Work cat.: (AT-ISTA)656924: International SPIN Workshop (28th : 2022 : Online), Model checking software :, 2022.