On the Logical Characterisation of Performability Properties

Holger Hermanns (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker
    Period13 Jul 2000
    Event title27th International Colloquium on Automata, Languages and Programming, ICALP 2000
    Event typeConference
    Conference number27
    LocationGeneva, Switzerland
    Degree of RecognitionInternational

    Keywords

    • METIS-120892