Bounds2: A Tool for Compositional Multi-Parametrised Verification

Antti Siirtola

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

    5 Citations (Scopus)
    Original languageEnglish
    Title of host publication20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAP
    EditorsErika Ábrahám, Klaus Havelund
    Pages599-604
    ISBN (Electronic)978-3-642-54862-8
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name
    PublisherSpringer
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Cite this