Zum Inhalt springen

  1. Kropf, Thomas [VerfasserIn]; Wunderlich, Hans-Joachim [VerfasserIn]

    A common approach to test generation and hardware verification based on temporal logic

    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.

    1991 ; Online-Ausg.: Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2012