DocumentCode

2962508

Title

Visual verification of temporal properties

Author

Manna, Zohar

Author_Institution

Stanford University

fYear

1999

fDate

1999

Firstpage

6

Lastpage

6

Keywords

Real time systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Temporal Representation and Reasoning, 1999. TIME-99. Proceedings. Sixth International Workshop on

Print_ISBN

0-7695-0173-7

Type

conf

DOI

10.1109/TIME.1999.777964

Filename

777964