![](/img/cover-not-exists.png)
[ACM Press the 6th IEEE/ACM/IFIP international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis - CODES/ISSS '08 - Model checking SystemC designs using timed automata
Herber, Paula, Fellmuth, Joachim, Glesner, SabineYear:
2008
Language:
english
DOI:
10.1145/1450135.1450166
File:
PDF, 151 KB
english, 2008