Advertisement

Solutions to problem no. 2

  • Amir Pnueli
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)

Keywords

Live State Temporal Logic Active Node Transition Diagram Connection Request 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [H]
    Harel D. — Statecharts: A Visual Tool for the Design and Specification of Complex Systems — Weizmann Institute, Nov. 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Amir Pnueli
    • 1
  1. 1.The Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations