Tools and Algorithms for the Construction and Analysis of Systems:25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Authors
    Publication date
    1 January 2019
    Publisher
    'Springer Science and Business Media LLC'
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        University of Twente Research Information

        redirect
        oaioai:ris.utwente.nl:publication...
        Last time updated on 12/07/2023