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

H. Hermanns (Editor), Jens Palsberg (Editor)

    Research output: Book/ReportBook editingAcademic

    Original languageEnglish
    Place of PublicationBerlin
    Number of pages503
    ISBN (Print)3-540-33056-9
    Publication statusPublished - Mar 2006

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    No.IEEE Produ/3920
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    • EWI-9365
    • METIS-238782

    Cite this