On a Temporal Logic for Object-Based Systems

Rensink, A. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Oldenburg, Germany
    Period19 Jul 2000
    Event titlePresentation Colloquium University Oldenburg
    Event typeConference
    LocationOldenburg, Germany

    Keywords

    • METIS-120841