CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Computer Congress, pages 657--668, Paris, France, September 1983. North Holland.
Lamport, L. 1983b. What good is temporal logic? In R. E. A. Mason (Ed.), Information Processing 83: Proceedings of the IFIP 9th World Congress, Paris, pp. 657--668. IFIP: North-Holland.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657--668. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proceedings of the IFIP Congress on Information Processing 83, pages 657--668, Amsterdam, 1983. Elsevier Science Publishers, North-Holland.
L. Lamport. What good is temporal logic? In Proc. of Information Processing 83: IFIP World Computer Congress, pages 657--668. Elsevier Science Publishers, 1983.
Lamport, L., What Good is Temporal Logic?, Proc. IFIP, pp. 657-668, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing83: proceedingsof the IFIP Ninth World Congress,pages 657--668. IFIP, North-Holland, September 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. Elsevier Science Publishers (North-Holland), 1983.
Lamport, L.: What good is temporal logic? In Proc. IFIP Congr. on Information Processing, Elsevier (1983) 657--668.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedings of the Ninth IFIP World Computer Congress, pages 657--668. Elsevier Science Publishers (North-Holland), 1983.
L. Lamport. What good is temporal logic? In R. Mason, editor, Information processing 83 IFIP. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83, pages 657--668, Paris, 1983. North-Holland.
L. Lamport. What good is temporal logic? In Proc. IFIP Congress, pages 657--668, Paris, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport, "What good is temporal logic," Proceedings of the International Federation of Information Processing Congress, Paris, France, 1983, pp. 657-668.
Lamport, L. 1983. What Good is Temporal Logic. In Proceedings of the 1983 IFIP Conference, 657--668.
L. Lamport. What good is temporal logic? In R. Mason, editor, Information Processing 83: Proceedings of the Ninth IFIP World Computer Congress, pages 657-- 668. Elsevier Science Publishers, 1983.
L. Lamport, What Good is Temporal Logic, in: Proc. International Federation of Information Processing Congress, Paris, FR (1983), pp. 657-668.
L. Lamport. What Good is Temporal Logic? In R.E.A. Mason, editor, Information Processing 83, pages 657-668, IFIP, 1983.
L. Lamport, What good is temporal logic, in R.E.A. Mason (Ed.), Information Processing 83, Elsevier Science Publishers, 1983, 657-668.
L. Lamport. What good is temporal logic. In R. E. A. Manson editor Information Processing 83, Proceedings of IFIP 9th World Congress, Paris pp. 657-668. IFIP, North Holland.
L Lamport. What good is temporal logic? In Proc. IFIP Congress, pp 657--668, Paris, 1983.
L. Lamport. What good is temporal logic. In R.W. Mason, editor, Proceedings of IFIP 9th World Congress, pages 657--668, Amsterdam, the Netherlands, 1983. North-Holland.
L. Lamport. What good is temporal logic. In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North-Holland, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
M. Lamport. What good is Temporal Logic ? Proc. International Federation for Information Processing, 1983.
L. Lamport. What Good is Temporal Logic? In R.E.A. Mason, editor, Information Processing 83, pages 657-668, IFIP, 1983.
L. Lamport. What good is temporal logic. In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North-Holland, 1983.
L. Lamport. What good is temporal logic ? In R. E. A. Mason, editor, Information Processing'83. Proc. IFIP 9th World Computer Congress, Sep. 1983, Paris, France, pages 657--668. North-Holland, 1983.
L. Lamport. What good is temporal logic. Information Processing 83, pages 657--668, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: proceedings of the IFIP Ninth World Congress, pages 657--668. IFIP, North-Holland, September 1983.
Lamport, L.: What Good is Temporal Logic?, in Proceedings of the IFIP 9th World Computer Congress, 1983, pp. 657-668
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport. What good is temporal logic ? In R.E. Mason, editor, INFORMATION PROCESSING 83, volume IFIP. Elsevier Science Publishers B.V. (North Holland), 1983.
L. Lamport. What good is temporal logic ? In R. E. A. Mason, editor, Information Processing'83. Proc. IFIP 9th World Computer Congress, Sep. 1983, Paris, France, pages 657--668. North-Holland, 1983.
L. Lamport. What good is temporal logic? pages 657--677. IFIP, 1983.
L. Lamport, What good is temporal logic, in R.E.A.Mason, editor, Proc. IFIP 9th World Congress, pages 657--668, North-Holland, 1983.
Lamport, L.: What Good is Temporal Logic?, in Proceedings of the IFIP 9th World Computer Congress, 1983, pp. 657-668
L. Lamport, What good is temporal logic, in: R.E. Manson, ed., Information Processing (NorthHolland, 1983) 657--668.
Leslie Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668. IFIP, North-Holland, September 1983.
L. Lamport. What good is temporal logic. In R. E. A. Manson editor Information Processing 83, Proceedings of IFIP 9th World Congress, Paris pp. 657-668. IFIP, North Holland.
L. Lamport. What good is temporal logic? In Proc. IFIP Congress, pp. 657--668, Paris, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedingsof the IFIP 9th World Congress. IFIP, North-Holland, 1983.
L. Lamport. What good is temporal logic. In R. E. A. Mason, editor, Information Processing, IFIP 83, pages 657--668. Elsevier Science Publishers B. V., North-Holland, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, Paris, September 1983. IFIP, North Holland.
L. Lamport, What good is temporal logic, Proc. IFIP Congress (R.E.A. Mason, ed.), North-Holland, 1983, pp. 657--668.
L. Lamport. What good is temporal logic. In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North-Holland, 1983.
L. Lamport (1983). What good is temporal logic? In: R. E. A. Mason (ed.), Information Processing 83: 9th IFIP World Congress, Elsevier 657--668.
Lamport, L. 1983. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress, R. E. A. Mason, Ed. North-Holland, Amsterdam, 657--668.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedings of the Ninth IFIP World Computer Congress, pages 657-- 668. Elsevier Science Publishers (North-Holland), 1983.
L. Lamport. What good is temporal logic? pages 657--677. IFIP, 1983.
L. Lamport. What good is temporal logic. In Proc. IFIP 9th World Congress (R.E.A. Mason, editor), pages 657--668. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Computer Congress, pages 657--668, Paris, France, September 1983. North Holland.
L. Lamport, "What good is temporal logic," Proceedings of the International Federation of Information Processing Congress, Paris, September 1983, pp. 657-668.
Lamport, L.: What Good is Temporal Logic?, in Proceedings of the IFIP 9th World Computer Congress, 1983, pp. 657-668
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport. What good is temporal logic. In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North-Holland, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, Paris, September 1983. IFIP, North Holland.
Leslie Lamport. What good is temporal logic. In R. E. A. Mason (Ed.), Information processing 83, IFIP, p. 657-668, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, Sept. 1983. IFIP, North-Holland.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, IFIP, North Holland, Paris, September 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North Holland.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9 th World Congress. IFIP, North Holland, September 1983.
Lamport, L., What Good is Temporal Logic?, Proc. IFIP, pp. 657-668, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, Paris, September 1983. IFIP, North Holland.
L. Lamport, What Good is Temporal Logic?, Information Processing 83, R.E.A. Mason (Ed.), pp. 657-668, IFIP, 1983.
L. Lamport. What Good is Temporal Logic, pages 657--668. Information Processing, R.E. Manson (ed). North Holland, 1983.
L. Lamport. What good is temporal logic. Information Processing 83, pages 657--668, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North Holland, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657668. North Holland, 1983.
Lamport, L. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress (Paris, Sept. 1983), R. E. A. Mason, Ed., IFIP, North Holland, pp. 657--668.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983.
L. Lamport, "What good is temporal logic", in Proc. IFIP 9th World Congress, R.E.A. Mason Ed., North Holland, 657-668, 1983.
L. Lamport. What good is temporal logic? In Proc. IFIP Congress, pp. 657--668, Paris, 1983.
L. Lamport, What Good is Temporal Logic. Proccedings of IFIP Congress, Paris 1983. Amsterdam: North-Holland, pp. 657-668.
M. Lamport. What good is Temporal Logic ? Proc. International Federation for Information Processing, 1983.
L. Lamport, What good is temporal logic, in R.E.A. Mason (ed.), Proceedings of IFIP Congress, North Holland, 1983, 657--668.
L. Lamport. What good is temporal logic. In 9th World Congress, pages 657--668. IFIP, 1983.
L. Lamport, What good is temporal logic ? In Proc. IFIP 9th World Congress, R.E.A. Mason (Ed.), North Holland, 657-668, 1983.
L. Lamport. What good is temporal logic ? In R. E. A. Mason, editor, Information Processing'83. Proc. IFIP 9th World Computer Congress, Sep. 1983, Paris, France, pages 657--668. North-Holland, 1983.
Lamport L.: What Good is Temporal Logic?, Proc. of the IFIP 9th World Computer Congress, pp 657-668, 1983. 10
L. Lamport, What good is temporal logic, in R.E.A. Mason (ed.), Proceedings of IFIP Congress, North Holland, 1983, 657--668.
Leslie Lamport. What good is temporal logic? In Proceeding of IFIP, Information Processing, pages 657--668, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. Elsevier Science Publishers (North-Holland), 1983.
L. Lamport. What good is temporal logic? pages 657--677. IFIP, 1983.
L. Lamport, \What good is temporal logic ?," in Information Processing 83, Elsevier Science, Ed. ifip, 1983, pp. 657-668, North Holland.
L. Lamport, What Good is Temporal Logic. Proceedings of IFIP Congress, Paris 1983. Amsterdam: North-Holland, pp. 657-668.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing '83. IFIP, North Holland, 1983.
L. Lamport. What good is temporal logic ? In Information Processing'83. Proc. IFIP 9th World Computer Congress, pages 657668. North-Holland, September 1983.
Lamport, L. 1983b. What good is temporal logic. In Information Processing 83: Proceedings of the IFIP 9th World Congress, R. E. A. Mason, Ed. North-Holland, Amsterdam, 657--668.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, IFIP, North Holland, Paris, September 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Lamport, L. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress (Paris, Sept. 1983), R. E. A. Mason, Ed., IFIP, North Holland, pp. 657--668.
L. Lamport. What Good Is Temporal Logic? Information Processing 83, R. E. Mason (ed.), Elsevier Science Publishers, North Holland (1983), 657-668.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Leslie Lamport. What Good is Temporal Logic? Information Processing 83, R. E. Mason (ed.), Elsevier Science Publishers (North-Holland), 1983, 657-668.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Computer Congress, pages 657--668, Paris, France, September 1983. North Holland.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, IFIP, North Holland, Paris, September 1983.
Lamport, L., What Good is Temporal Logic?, Proc. IFIP, pp. 657-668, 1983.
Lamport, L. 1983. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress, R. E. A. Mason, Ed. North-Holland, Amsterdam, 657--668.
L. Lamport, What good is temporal logic ? In Proc. IFIP 9th World Congress, R.E.A. Mason (Ed.), North Holland, 657-668, 1983.
L. Lamport. What good is temporal logic. In R. E. A. Mason, editor, Information Processing '83: Proc. IFIP 9th World Computer Congress, pages 657--668, 1983.
L. Lamport. What good is temporal logic? In Information Processing'83. Proc. IFIP 9th World Computer Congress, Sep. 1983, Paris, France, pages 657-668. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North Holland, 1983.
L. Lamport. What good is temporal logic. In R. E. A. Mason, editor, Information Processing '83: Proc. IFIP 9th World Computer Congress, pages 657--668, 1983.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. North Holland, 1983.
L. Lamport. What Good is Temporal Logic. In R.E.A. Manson, editor, Information Processing 83: Proc. of the IFIP 9th World Congress, pages 657--668. IFIP, Elsevier Science Publishers, North Holland, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83, pages 657-668. IFIP, Elsevier Science Publishers B.V. (North-Holland), 1983. 4. CONCLUSION 75
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport. What good is temporal logic. In R.E.A. Manson, editor, Information Processing 83: Proc. of the IFIP 9th World Congress, pages 657-668. Elsevier Science Publishers, North Holland, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83, pages 657-668. IFIP, Elsevier Science Publishers B.V. (North-Holland), 1983. 4. CONCLUSION 75
L. Lamport. What good is temporal logic. In R.E.A. Manson, editor, Information Processing 83: Proc. of the IFIP 9th World Congress, pages 657--668. Elsevier Science Publishers, North Holland, 1983.
Leslie Lamport. What good is temporal logic? In Proceedings of the IFIP Congress on Information Processing, pages 657-667, 1983.
L. Lamport, What good is temporal logic, in: R.E.A. Mason, ed., Information Processing 1983: Proc. of the IFIP 9th World Computer Congress, Paris, France, North-Holland Pub., Amsterdam, 1983, pp. 657-668.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, Sep 1983. IFIP, North-Holland.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657--668. Elsevier Science Publishers (North-Holland), 1983.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983.
Lamport, L.: What good is temporal logic? In Proc. IFIP Congr. on Information Processing, Elsevier (1983) 657--668.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983.
L. Lamport. What good is temporal logic. Information Processing 83, pages 657--668, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proc. of the IFIP Congress on Information Processing, pages 657--667. NorthHolland, 1983.
LAMPORT, L. What good is temporal logic. In Information Processing '83, R. E. A. Mason, Ed. North-Holland, Amsterdam, 1983, pp. 657-668.
L. Lamport, "What good is temporal logic?," Information Processing 83: Proc. of the 9th IFIP World Computer Congress. Ed. R.E.A. Mason, Elsevier Publ., pp. 657-668.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983. 64
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983. 64
L. Lamport, "What good is temporal logic?" Information Processing, vol. 83, pp. 657--668, 1983.
L. Lamport, "What good is temporal logic?" Information Processing, vol. 83, pp. 657--668, 1983.
Lamport, L. What good is temporal logic? In: Proc. IFIP 9th World Computer Congress. 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Lamport, L.: \What good is temporal logic.". Proc. IFIP 9th World Congress, R.E.A. Mason (editor), North-Holland, pp 657 - 668, 1983.
L. Lamport. What good is temporal logic? In Proceedings of IFIP Congress on Information Processing, pages 657--667, 1983.
L. Lamport. What good is temporal logic. In R. E. A. Manson editor Information Processing 83, Proceedings of IFIP 9th World Congress, Paris pp. 657-668. IFIP, North Holland.
L. Lamport, "What good is temporal logic?," in Proc. 9th IFIP Congress -- Information Processing '83, pp. 657-668.
L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657668. North Holland, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedings of the Ninth IFIP World Computer Congress, pages 657--668. Elsevier Science Publishers, 1983.
L. Lamport. What good is temporal logic? In Proc. of Information Processing 83: IFIP World Computer Congress, pages 657--668. Elsevier Science Publishers, 1983.
L. Lamport. What good is temporal logic? In Information Processing'83. Proc. IFIP 9th World Computer Congress, pages 657-668. North-Holland, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proceedings of the IFIP Congress on Information Processing, pages 657--667, Amsterdam, 1983. North-Holland.
Leslie Lamport. What Good Is Temporal Logic? In R. E. A. Mason, editor, Information Processing 83, pages 657--668. Elsevier Publishers, 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Leslie Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668. IFIP, North-Holland, September 1983.
L. Lamport. What good is temporal logic? In R.E. Mason, editor, Information Processing 83, pages 657-668. North-Holland, 1983.
L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83, pages 657--668. IFIP, North-Holland, 1983.
Lamport L. What good is temporal logic? In: Mason REA (ed). Proceedings of the IFIP congress on information processing. North-Holland, Amsterdam, 1983, pp 657--667
L. Lamport. What Good Is Temporal Logic? In R. E. A. Mason, editor, Information Processing, volume 83, pages 657--668. Elsevier Sciene Publishers, 1983.
Lamport, L. What good is temporal logic? In: Proc. IFIP 9th World Computer Congress. 1983.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, Paris, September 1983. IFIP, North Holland.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
Leslie Lamport. What Good is Temporal Logic? Information Processing 83, R. E. Mason (ed.), Elsevier Science Publishers (North-Holland), 1983, 657-668.
Lamport, L. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress (Paris, Sept. 1983), R. E. A. Mason, Ed., IFIP, North Holland, pp. 657--668.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657--668, Paris, September 1983. IFIP, North-Holland.
L. Lamport. What Good Is Temporal Logic? Information Processing 83, R. E. Mason (ed.), Elsevier Science Publishers, North Holland (1983), 657-668.
Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, IFIP, North Holland, Paris, September 1983.
Lamport, L. 1983. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress, R. E. A. Mason, Ed. North-Holland, Amsterdam, 657--668.