مرکز منطقه ای اطلاع رساني علوم و فناوري - Managing the granularity of constraint-based analyses by rule transformation

Title of article :

Managing the granularity of constraint-based analyses by rule transformation

Author/Authors :

Byeong-Mo Chang، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2002

Pages :

From page :

To page :

Keywords :

Set-constraints , Set-based analysis , Rule transformation

Journal title :

Information Processing Letters

Serial Year :

2002

Journal title :

Information Processing Letters

Record number :

129545

Link To Document :