Inproceedings,

A formalism for functionality preserving system level transformations.

, and .
ASP-DAC, page 139-144. ACM Press, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews