Gastvortrag

  • Ingo Hans Pill (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Behavioral Diagnosis of LTL Specifications at Operator Level
Zeitraum30 Sep. 2013
EreignistitelGastvortrag
VeranstaltungstypWorkshop