Gastvortrag

Pill, I. H. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Behavioral Diagnosis of LTL Specifications at Operator Level
Period30 Sep 2013
Held atGastvortrag
Event typeWorkshop