مرکز منطقه ای اطلاع رساني علوم و فناوري - A template-based approach for the generation of abstractable and reducible models of featured networks

Title of article :

A template-based approach for the generation of abstractable and reducible models of featured networks

Author/Authors :

A. Miller، نويسنده , , M. Calder، نويسنده , , A.F. Donaldson، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2007

Pages :

From page :

439

To page :

455

Keywords :

induction , Feature interaction , Symmetry reduction , Abstraction , model checking

Journal title :

Computer Networks

Serial Year :

2007

Journal title :

Computer Networks

Record number :

299863

Link To Document :