Zum Inhalt springen

  1. Köcher, Chris [VerfasserIn] ; Kuske, Dietrich [AkademischeR BetreuerIn]; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn] Technische Universität Ilmenau, Universitätsverlag Ilmenau

    Verification of automata with storage mechanisms

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ilmenau: Universitätsverlag Ilmenau, 2023 ; Ilmenau: Universitätsbibliothek, 2023

  2. Köcher, Chris [VerfasserIn] ; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn]; Kuske, Dietrich [Sonstige Person, Familie und Körperschaft] Ilmenau Media Services

    Verification of Automata with Storage Mechanisms

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ilmenau: TU Ilmenau, 2022