Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

Ed Brinksma (Editor), Kim Guldstrand Larsen (Editor)

    Research output: Book/ReportBook editingAcademic

    350 Downloads (Pure)
    Original languageEnglish
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages626
    ISBN (Electronic)978-3-540-45657-5
    ISBN (Print)978-3-540-43997-4
    DOIs
    Publication statusPublished - 2002
    Event14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark
    Duration: 27 Jul 200231 Jul 2002
    Conference number: 14

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2404
    ISSN (Print)0302-9743

    Keywords

    • METIS-209584
    • IR-93245

    Cite this