Preface

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialProfessioneel

    Originele taal-2Engels
    TitelProceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005)
    Pagina's1-2
    DOI's
    StatusGepubliceerd - 2006

    Publicatie series

    NaamElectronic Notes in Theoretical Computer Science
    Volume135(2)
    ISSN van geprinte versie1571-0061

    Citeer dit