On the Logical Characterisation of Performability Properties

  • Holger Hermanns (Keynote speaker)

    Activity: Talk or presentation › Oral 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, SwitzerlandShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-120892