A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundation of Computer Science, pages 46--57, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundation of Computer Science, pages 46--57, 1977.
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundation of Computer Science, pages 46--57, 1977.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
PNUELI, A. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundation of Computer Science (1977), pp. 46--57.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundation of Computer Science, pages 46--57, 1977.
A Temporal Logic for Input Output Symbolic Transition Systems - Marc Aiguier Place (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proceedings of the 18 th IEEE Symposium on Foundations of Computer Science, pages 46--77. ACM, 1977.
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) (Correct)
No context found.
A. Pnueli. The Temporal Logic of Programs. In Proceedings of the 18th IEEE Symp. Foundations of Computer Science, 1977.
Runtime Verification Revisited - Arafat, Bauer, Leucker, Schallhart (2005) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pages 46--57, Providence, Rhode Island, Oct. 31--Nov. 2 1977. IEEE Computer Society Press.
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In: FOCS, pp. 46--57. IEEE CS Press, 1977.
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proceedings FOCS-77, pp. 46--57. IEEE Computer Society Press, 1977.
Timed Games With Branching-Time Winning Conditions - Aniello Murano Dipartimento (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. of the 18th IEEE Symposium on Foundations of Computer Science, pages 46 -- 77, 1977.
Model Checking Probabilistic Distributed - Systems Benedikt Bollig (Correct)
No context found.
Amir Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pages 46--57, Providence, Rhode Island, October 31--November 2 1977. IEEE Computer Society Press.
Temporal Assertions using AspectJ - Stolz, Bodden (2005) (2 citations) (Correct)
No context found.
A. Pnueli. The Temporal Logics of Programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977.
Runtime Verification of Concurrent Haskell Programs - Stolz, Huch (2005) (Correct)
No context found.
A.Pnueli. The Temporal Logics of Programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 46--77, 1977.
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pages 46--57, Providence, Rhode Island, Oct. 31--Nov. 2 1977. IEEE Computer Society Press.
Automata-theoretic Decision of Timed Games - Marco Faella Salvatore (2002) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. of the 18th IEEE Symposium on Foundations of Computer Science, pages 46 - 77, 1977.
Symbolic Systems, Explicit Properties: on Hybrid.. - Sebastiani, Tonetta.. (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In FOCS, pp 46--57, 1977.
Generic Composition - Chen (2002) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. 18th Annual Symposium on Foundations of Computer Science, pages 46--57. IEEE Computer Society Press, 1977.
The Bulletin of Symbolic Logic - Volume Number June (Correct)
No context found.
A. Pnueli, The temporal logic of programs, Proceedings of the 18th IEEE symposium on foundation of computer science, 1977, pp. 46--57.
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symp. on Foundation of Computer Science, pages 46--57, 1977.
Unknown - (Correct)
No context found.
Pnueli, A.: The temporal logic of programs, in 18th IEEE Symposium on Foundation of Computer Science, pages 46-57, 1977.
Relating Word and Tree Automata - Orna Kupferman Bell (1996) (3 citations) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symposium on Foundation of Computer Science, pages 46--57, 1977.
Model Checking for Dynamic Allocation and Deallocation.. - Distefano, Rensink.. (2002) (3 citations) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In FOCS'77, pp. 46--57, IEEE CS Press, 1977.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In FOCS'77, pp. 46--57, IEEE CS Press, 1977.
Parametric model checking for Mobile Ambients - Distefano (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proceedings FOCS-77, pages 46--57. IEEE Computer Society Press, 1977.
Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, al. (2003) (Correct)
No context found.
A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pages 46--57. IEEE Computer Society Press, Oct. 31--Nov. 2 1977.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC