Gastvortrag

  • Ingo Hans Pill (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Behavioral Diagnosis of LTL Specifications at Operator Level
Period30 Sept 2013
Event titleGastvortrag
Event typeWorkshop