Simple programs and their decision problems

  • A. Pnueli
  • G. Slutzki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)

References

  1. [1]
    Slutzki, G. — Logical Analysis of Simple Programs, Doctoral Dissertation, Tel-Aviv University (1976).Google Scholar
  2. [2]
    Eilenberg, S. — Automata, Languages and Machines, Vol. A, Academic Press (1974).Google Scholar

Copyright information

© Springer-Verlag 1977

Authors and Affiliations

  • A. Pnueli
    • 1
  • G. Slutzki
    • 1
  1. 1.University of Tel-AvivTel-AvivIsrael

Personalised recommendations