Mapping abstract and concrete hardware models for design understanding.

Tino Flenker, Grschwin Fey

Browse the full DDECS paper archive.