Auflistung nach Autor Kropf, Thomas
Anzeige der Treffer 1 bis 1 von 1
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
1991 | A common approach to test generation and hardware verification based on temporal logic | Kropf, Thomas; Wunderlich, Hans-Joachim |