- Protocol specification and verification using the significant event temporal logic (Technical report. University of British Columbia. Dept. of Computer Science) by George K Tsiknis, 1988
- The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division) by Aravinda Prasad Sistla, 1986
- Temporal Logic (LEP Library of Exact Philosophy) by Nicholas Rescher, Alasdair Urquhart, 1971-08-18
- On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic (Technical report. Institute for New Generation Computing Technology) by Kazuko Takahashi, 1986
- A taxonomy of fairness and temporal logic problems for Petri nets (Technical report. Iowa State University. Dept. of Computer Science) by Rodney R Howell, 1988
- A temporal logic for multi-level reasoning about hardware by Ben Moszkowski, 1982
- Characterising temporal logic (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1989
- Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 by Mark Reynolds, 2003-01-01
- A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE (ICOT technical report) by Naoshi Uchihira, 1989
- Temporal Logic by Dov M. Gabbay, 2007
- Automatic verification of finite state concurrent systems using temporal logic specifications (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Edmund Melson Clarke, 1985
- Two methods for checking formulas of temporal logic (Report) by Hugh W McGuire, 1995
- Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff, 2003-01-01
- Modal and temporal logics (LFCS report series) by Colin Stirling, 1991
|
