Marek Jersak

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2003
Publication period end
2003
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Richter, Kai, Jersak, Marek, Ernst, Rolf (2003): A Formal Approach to MpSoC Performance Verification. In IEEE Computer, 36 (4) pp. 60-67. http://csdl.computer.org/comp/mags/co/2003/04/r4060abs.htm