DocumentCode

3327006

Title

Two Decades of Temporal Logic: Achievements and Challenges

Author

Pnueli, Amir

Author_Institution

Department of Applied Mathematics and Computer Science, Weizmann Institute of Science, Israel

fYear

1997

fDate

20-22 Oct 1997

Firstpage

78

Lastpage

78

Keywords

Automata; Computational modeling; Computer science; Control systems; Embedded system; Logic; Maintenance; Mathematics; Robustness; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Foundations of Computer Science, 1997. Proceedings., 38th Annual Symposium on

ISSN

0272-5428

Print_ISBN

0-8186-8197-7

Type

conf

DOI

10.1109/SFCS.1997.646095

Filename

646095