Skip to contents

  5. Hermanns, Holger [Editor]; Palsberg, Jens [Other] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

    Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York: Springer, 2006

    Published in: Lecture notes in computer science ; 3920

  20. Hermanns, Holger [Editor]

    Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings - [1st ed. 2020.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Published in: Programming and Software Engineering ; 12040- Springer eBook Collection