Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol, Jaco van de (2007) Preface. 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, 26-31 August 2006, Bonn, Germany (pp. V-VI).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation).
Affiliated to CONCUR 2006.
Item Type:Conference or Workshop Item
Additional information:Editorial preface
Copyright:© 2007 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 242022