Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995. Selected Papers

Ed Brinksma, W. Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria

    Research output: Book/ReportBookAcademic

    27 Downloads (Pure)
    Original languageEnglish
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Number of pages289
    ISBN (Electronic)978-3-540-48509-4
    ISBN (Print)978-3-540-60630-7
    DOIs
    Publication statusPublished - 1995
    Event1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995 - Aarhus, Denmark
    Duration: 19 May 199520 May 1995
    Conference number: 1

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume1019
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Cite this