Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

D. Bosnacki (Editor), S. Edelkamp (Editor)

    Research output: Book/ReportBook editingAcademic

    Abstract

    No abstract.
    Original languageEnglish
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages300
    ISBN (Electronic)9783540733706
    ISBN (Print)978-3-540-73369-0
    DOIs
    Publication statusPublished - 2007

    Publication series

    NameLecture notes in computer science
    Volume4595
    ISSN (Print)0302-9743
    NameModel checking software : international SPIN workshop
    Volume14

    Fingerprint

    Dive into the research topics of 'Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings'. Together they form a unique fingerprint.

    Cite this