Preface

Lubos Brim, Martin Leucker

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    11 Downloads (Pure)

    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.
    Original languageUndefined
    Title of host publicationFormal Methods: Applications and Technology
    EditorsLubos Brim, Boudewijn R.H.M. Haverkort, Martin Leucker, Jan Cornelis van de Pol
    Place of PublicationBerlin
    PublisherSpringer
    PagesV-VI
    Number of pages2
    ISBN (Print)978-3-540-70951-0
    DOIs
    Publication statusPublished - Jun 2007

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    NumberLNCS4549
    Volume4346
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • EWI-11290
    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
    • METIS-242022
    • IR-61981
    • FMT-MC: MODEL CHECKING

    Cite this

    Brim, L., & Leucker, M. (2007). Preface. In L. Brim, B. R. H. M. Haverkort, M. Leucker, & J. C. van de Pol (Eds.), Formal Methods: Applications and Technology (pp. V-VI). [10.1007/978-3-540-70952-7] (Lecture Notes in Computer Science; Vol. 4346, No. LNCS4549). Berlin: Springer. https://doi.org/10.1007/978-3-540-70952-7