Markus Groß

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler
Simulation-based equivalence checking between SystemC models at different levels of abstraction. ACM Great Lakes Symposium on VLSI (2011)
Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler
Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction. MBMV (2011)