International Workshop on Principles of Diagnosis 2013

Pill, I. H. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience 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