Preface

L. Brim

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    16 Downloads (Pure)

    Abstract

    The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.
    Original languageEnglish
    Title of host publicationProceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
    EditorsLubos Brim, Jaco van de Pol
    PublisherarXiv.org
    Number of pages1
    DOIs
    Publication statusPublished - 15 Dec 2009
    Event8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009 - Eindhoven, Netherlands
    Duration: 4 Nov 2009 → 4 Nov 2009
    Conference number: 8
    http://anna.fi.muni.cz/PDMC/PDMC09/

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    PublisherOpen Publishing Association
    Volume14
    ISSN (Print)2075-2180

    Workshop

    Workshop8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009
    Abbreviated titlePDMC
    CountryNetherlands
    CityEindhoven
    Period4/11/09 → 4/11/09
    Internet address

    Keywords

    • METIS-275559
    • Model Checking
    • IR-69462
    • CR-C.2.4
    • Distributed
    • EWI-17087
    • FMT-MC: MODEL CHECKING
    • Parallel

    Access to Document

      Fingerprint Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

      • Cite this

      Brim, L. (2009). Preface. In L. Brim, & J. van de Pol (Eds.), Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation (Electronic Proceedings in Theoretical Computer Science; Vol. 14). arXiv.org. https://doi.org/10.4204/EPTCS.14