CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Andrew Bernard and Peter Lee. Temporal logic for proof-carrying code. In Eighteenth International Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, pages 31--46, Copenhagen, Denmark, July 2002. Springer-Verlag.
A. Bernard and P. Lee. Temporal logic for proof-carrying code. Technical Report CMU-CS-02-130, School of Computer Science, Carniege Mellon University, Pittsburgh, PA, 2002.
A. Bernard and P. Lee. Temporal Logic for Proof-carrying Code. In Proceedings of the 18th International Conference on Automated Deduction (CADE-18), volume 2392 of Lecture Notes in Arti cial Intelligence, pages 31-46, Copenhagen, Danmark, July 2002.
Andrew Bernard and Peter Lee. Temporal logic for proof-carrying code. In Eighteenth International Conference on Automated Deduction, volume 2392 of Lecture Notes in Arti cial Intelligence, pages 31-46, Copenhagen, Denmark, July 2002. Springer-Verlag.