Gastvortrag

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Behavioral Diagnosis of LTL Specifications at Operator Level