- Executable Modal and Temporal Logics by Michael Fisher, 2007
- 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
- Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne, 1989
- 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
- Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande, 1994
- Hierarchical planning using temporal logic (Tech report) by Michael J Manthey, 1984
- Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande, 1994
- The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna, 1991-01-01
- Specification and reasoning of real-time systems in real-time temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by K. T Narayana, 1988
- A proof editor for propositional temporal logic (Report / Dept. of Computer Science, Stanford University) by Ross Casley, 1986
- Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science) by James Allen, 1987
- Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica) by R. T Boute, 1985
- Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science) by Ben Moszkowski, 1983
- Alternating automata and the exponential decidability of an extended branching time temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. ... Informatique Theorique et Programmation) by D. E Muller, 1986
|
