Extending CTL with actions and real time

David N. Jansen, Roel J. Wieringa

    Research output: Contribution to conferencePaperpeer-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
    Country/TerritoryGermany
    CityLeipzig
    Period4/10/007/10/00

    Keywords

    • METIS-119638

    Cite this