Title :
Two Decades of Temporal Logic: Achievements and Challenges
Author_Institution :
Department of Applied Mathematics and Computer Science, Weizmann Institute of Science, Israel
Keywords :
Automata; Computational modeling; Computer science; Control systems; Embedded system; Logic; Maintenance; Mathematics; Robustness; Writing;
Conference_Titel :
Foundations of Computer Science, 1997. Proceedings., 38th Annual Symposium on
Print_ISBN :
0-8186-8197-7
DOI :
10.1109/SFCS.1997.646095
