Model checking software

Dragan BoŠnaČki, Stefan Leue

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationModel Checking Software - 9th International SPIN Workshop, Proceedings
    EditorsDragan Bosnacki, Stefan Leue
    PublisherSpringer
    ISBN (Print)3540434771, 3540434771, 9783540434771, 9783540434771
    Publication statusPublished - 1 Jan 2002
    Event9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France
    Duration: 11 Apr 200213 Apr 2002

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume2318
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002
    CountryFrance
    CityGrenoble
    Period11/04/0213/04/02

    Cite this