Extending CTL with actions and real time

David N. Jansen, Roel J. Wieringa

    Research output: Contribution to conferencePaperAcademicpeer-review

    Original languageEnglish
    Pages105-114
    Publication statusPublished - 4 Oct 2000
    EventInternational Conference on Temporal Logic, ICTL 2000 - University of Leipzig, Leipzig, Germany
    Duration: 4 Oct 20007 Oct 2000

    Conference

    ConferenceInternational Conference on Temporal Logic, ICTL 2000
    Abbreviated titleICTL
    CountryGermany
    CityLeipzig
    Period4/10/007/10/00

    Keywords

    • METIS-119638

    Cite this

    Jansen, D. N., & Wieringa, R. J. (2000). Extending CTL with actions and real time. 105-114. Paper presented at International Conference on Temporal Logic, ICTL 2000, Leipzig, Germany.
    Jansen, David N. ; Wieringa, Roel J. / Extending CTL with actions and real time. Paper presented at International Conference on Temporal Logic, ICTL 2000, Leipzig, Germany.
    @conference{d8b6a6a8b68e436285961314a42adc4a,
    title = "Extending CTL with actions and real time",
    keywords = "METIS-119638",
    author = "Jansen, {David N.} and Wieringa, {Roel J.}",
    year = "2000",
    month = "10",
    day = "4",
    language = "English",
    pages = "105--114",
    note = "International Conference on Temporal Logic, ICTL 2000, ICTL ; Conference date: 04-10-2000 Through 07-10-2000",

    }

    Jansen, DN & Wieringa, RJ 2000, 'Extending CTL with actions and real time' Paper presented at International Conference on Temporal Logic, ICTL 2000, Leipzig, Germany, 4/10/00 - 7/10/00, pp. 105-114.

    Extending CTL with actions and real time. / Jansen, David N.; Wieringa, Roel J.

    2000. 105-114 Paper presented at International Conference on Temporal Logic, ICTL 2000, Leipzig, Germany.

    Research output: Contribution to conferencePaperAcademicpeer-review

    TY - CONF

    T1 - Extending CTL with actions and real time

    AU - Jansen, David N.

    AU - Wieringa, Roel J.

    PY - 2000/10/4

    Y1 - 2000/10/4

    KW - METIS-119638

    M3 - Paper

    SP - 105

    EP - 114

    ER -

    Jansen DN, Wieringa RJ. Extending CTL with actions and real time. 2000. Paper presented at International Conference on Temporal Logic, ICTL 2000, Leipzig, Germany.