A. Habibi and S. Tahar. On the Transformation of SystemC to AsmL using Abstract Interpretation. In Proc. Int. Workshop on Abstract Interpretation for Object Oriented Languages. Paris, France, January 2005. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Embedding and Verification of PSL using AsmL - Amjad Gawanmeh Ali Self-citation (Habibi Tahar) (Correct)
No context found.
A. Habibi and S. Tahar. On the Transformation of SystemC to AsmL using Abstract Interpretation. In Proc. Int. Workshop on Abstract Interpretation for Object Oriented Languages. Paris, France, January 2005.
AsmL Semantics in Fixpoint - Ali Habibi And Self-citation (Habibi Tahar) (Correct)
No context found.
A. Habibi and S. Tahar. On the transformation of SystemC to AsmL using abstract interpretation. Electr. Notes Theor. Comput. Sci., 2005 (to appear).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC