Preface

Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol van de, Jaco (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.

PDF
Restricted to UT campus only: Request a copy
43Kb

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
Copyright:	© 2007 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS) Formal Methods and Tools (FMT)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 242022