On a Temporal Logic for Object-Based Systems

D.S. Distefano (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Eindhoven
    Period27 Apr 2000
    Event titleIPA school spring days 2000
    Event typeConference
    LocationEindhoven

    Keywords

    • METIS-120931