Titel in Übersetzung | Hierarchical timing language. Technical Report UCB/EECS-2006-79 |
---|---|
Originalsprache | Englisch |
Seitenumfang | 48 |
Publikationsstatus | Veröffentlicht - 2006 |
Systematik der Wissenschaftszweige 2012
- 101 Mathematik
- 102 Informatik
A. Ghosal, T.A. Henzinger, D. Iercan, Christoph Kirsch, A.L. Sangiovanni-Vincentelli
Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed
Titel in Übersetzung | Hierarchical timing language. Technical Report UCB/EECS-2006-79 |
---|---|
Originalsprache | Englisch |
Seitenumfang | 48 |
Publikationsstatus | Veröffentlicht - 2006 |