Normal view
MARC view
Edelkamp, Stefan (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International SPIN Workshop (14th : 2007 : Berlin, Germany) 22210, Model checking software :, ©2007.