Preface

L. Brim

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

    41 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 20094 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
    Country/TerritoryNetherlands
    CityEindhoven
    Period4/11/094/11/09
    Internet address

    Keywords

    • Model Checking
    • CR-C.2.4
    • Distributed
    • FMT-MC: MODEL CHECKING
    • Parallel

    Fingerprint

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

    Cite this