SystemC temporal checker

Name: SystemC temporal checker
Author: Ruf, Jürgen

Ruf, Jürgen 2006 WSI, Dep. of Computer Engeneering

Link zu diesem Datensatz: https://d-nb.info/983475768
Titel: SystemC temporal checker
Art des Inhalts: Monographie
Verfassangaben: University of Tübingen, Wilhelm-Schickard-Institut, Department of Computer Engeneering, Tübingen, Germany. [Wilhelm-Schickard-Institut, Universität Tübingen]
Autor: Ruf, Jürgen
Verlag: Tübingen : WSI, Dep. of Computer Engeneering [2006]
Jahr: Erscheinungsdatum: 2006
Umfang/Format: 20 S.
Sprache: eng
Stand: 02.12.2017 03:05
Im Katalog seit: 06.03.2026

Beschreibung vom Verlag