Title of article
A Visual Formalism for Computational Tree Logic
Author/Authors
A. Del Bimbo، نويسنده , , E. VICARIO، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
23
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