International Workshop on Principles of Diagnosis 2013

Pill, I. H. (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
Held atInternational Workshop on Principles of Diagnosis 2013
Event typeConference
LocationJerusalem, Israel