• Title of article

    About the expressive power of CTL combinators

  • Author/Authors

    F. Laroussinie، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 1995
  • Pages
    3
  • From page
    343
  • To page
    345
  • Keywords
    Temporal logic , CTL , Specification languages , Program specification
  • Journal title
    Information Processing Letters
  • Serial Year
    1995
  • Journal title
    Information Processing Letters
  • Record number

    128284

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=128284