![](/img/cover-not-exists.png)
[ACM Press Proceeding of the second joint WOSP/SIPEW international conference - Karlsruhe, Germany (2011.03.14-2011.03.16)] Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11 - Automatic performance model synthesis from hardware verification models
Bell, Robert H., Sustik, Matyas, Cummings, David W., Jackson, Jonathan R.Year:
2011
Language:
english
DOI:
10.1145/1958746.1958816
File:
PDF, 518 KB
english, 2011