Preface

M. Leucker, J.C. Pol, van de

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptProfessional

    Original languageEnglish
    Title of host publicationProceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005)
    Pages1-2
    DOIs
    Publication statusPublished - 2006

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume135(2)
    ISSN (Print)1571-0061

    Cite this