An Interactive Model Re-Coder for Efficient SoC Specification.

Pramod Chandraiah Rainer Dömer An Interactive Model Re-Coder for Efficient SoC Specification. 193-206 2007 conf/iess/2007 IESS http://dx.doi.org/10.1007/978-0-387-72258-0_17 db/conf/iess/iess2007.html#ChandraiahD07