On a Temporal Logic for Object-Based Systems

    Activity: Talk or presentationOral presentation

    Period19 Jul 2000
    Held atUniversity of Oldenburg, Germany
    Degree of RecognitionInternational