Citation:Hocine R, Kalla H. Encoding SystemC models in formal synchronous formalism. International Journal of Computer ApplicationsInternational Journal of Computer Applications. 2011;975 :8887.Download CitationBibTex Tagged XML Date Published:2011