Preface


Share/Save/Bookmark

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 Aug 2006, Bonn, Germany (pp. V-VI).

[img] PDF
Restricted to UT campus only
: Request a copy
44kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61981
Official URL:http://dx.doi.org/10.1007/978-3-540-70952-7
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 242022