On the Logical Characterisation of Performability Properties

Holger Hermanns (Keynote speaker)

Activity: Talk or presentationOral presentation

Description

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

Keywords

  • METIS-120892