Preface

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

    29 Downloads (Pure)
    Original languageEnglish
    Title of host publication6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages1-2
    Number of pages2
    DOIs
    Publication statusPublished - 4 Mar 2008
    Event6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007 - Berlin, Germany
    Duration: 8 Jul 20078 Jul 2007
    Conference number: 6
    http://anna.fi.muni.cz/PDMC/PDMC07/

    Publication series

    Name
    PublisherElsevier
    Number412/1
    Volume198
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Workshop

    Workshop6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007
    Abbreviated titlePDMC
    Country/TerritoryGermany
    CityBerlin
    Period8/07/078/07/07
    Internet address

    Keywords

    • EWI-14944
    • METIS-255452
    • IR-65333

    Cite this