On a Temporal Logic for Object-Based Systems

Rensink, A. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Augsburg, Germany
    Period23 Nov 2000
    Event titlePresentation Colloquium University Augsburg
    Event typeConference
    LocationAugsburg, Germany

    Keywords

    • METIS-120842