Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

E. Brinksma (Editor), K.G. Larsen (Editor)

    Research output: Book/ReportBook editingProfessional

    Original languageEnglish
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages623
    ISBN (Print)3-540-43997-8
    DOIs
    Publication statusPublished - 2002

    Publication series

    NameLecture notes in computer science
    Volume2404
    ISSN (Print)0302-9743
    NameCAV : computer-aided verification : international conference : proceedings
    Volume14

    Cite this