مرکز منطقه ای اطلاع رساني علوم و فناوري - A Visual Formalism for Computational Tree Logic

Title of article :

A Visual Formalism for Computational Tree Logic

Author/Authors :

A. Del Bimbo، نويسنده , , E. VICARIO، نويسنده ,

Issue Information :

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

Pages :

From page :

165

To page :

187

Keywords :

Temporal logic , computer-aided verification. , Information Visualization , user interfaces , visualization methodology , visual formalisms

Journal title :

Journal of Visual Languages and Computing

Serial Year :

1999

Journal title :

Journal of Visual Languages and Computing

Record number :

166901

Link To Document :