Special issue on Selected papers from the Workshops on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008) [held in Berlin, in July 2007 and L'Aquila, in September 2008] (Elsevier, 2011)
Einzelaufnahme eines Zeitschr.-Heftes