EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


11290 Preface
 Home Policy Brochure Browse Search User Area Contact Help

Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0

Full text available as:

PDF (downloaded from SpringerLink)
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
44 Kb

Official URL: http://dx.doi.org/10.1007/978-3-540-70952-7

Exported to Metis

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 Paper (Extended Abstract, Other)
Research Group:EWI-FMT: Formal Methods and Tools, EWI-DACS: Design and Analysis of Communication Systems
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:veriGEM: A Verification Grid for Enhanced Model Checking
Additional Information:Editorial preface
ID Code:11290
Status:Published
Deposited On:25 October 2007
Refereed:No
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item