Normal view
MARC view
PDMC 2006 (2006 : Bonn, Germany) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany) 23380, Formal methods :, ©2007.