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
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2962508
