- Verifying temporal properties without using temporal logic (Technical report. Cornell University. Dept. of Computer Science) by Bowen Lewis Alpern, 1985
- A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) by Jozef Hooman, 1988
- The treatment of macro expansions in the temporal logic of parallel programs (Technical report. Technische Universität München. Institut für Informatik) by A Kausche, 1985
- Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988
- A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989
- Alternating-time temporal logic (Memorandum) by Rajeev Alur, 1998
- Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International) by Christopher Stuart, 1985
- Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986
- An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science) by Michael C Browne, 1986
- Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / UniversiteÌ P. et M. Curie, Laboratoire Informatique TheÌorique et Programmation) by Ana R Cavalli, 1985
- Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
- Temporal Logic by Dov M. Gabbay, 2000
- On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin, 1986
- A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science) by B Banieqbal, 1986
|