International Workshop on Principles of Diagnosis 2013

Ingo Hans Pill (Speaker)

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

Description

Talk: Exploiting Parse Trees in LTL Specification Diagnosis
Period2 Oct 2013
Event titleInternational Workshop on Principles of Diagnosis 2013
Event typeConference
LocationJerusalem, Israel