Formal Methods Applications And Technology

11th International Workshop On Formal Methods For Industrial Critical Systems, Fmics 2006, And 5th International Workshop On Parallel And Distributed Methods In... » 

11th International Workshop On Formal Methods For Industrial Critical Systems, Fmics 2006, And 5th International Workshop On Parallel And Distributed Methods In Verification, Pdmc 2006, Bonn, Germany, August 26-27, And August 31, 2006, Revised Selected «