Gastvortrag bei OneSpin Solutions

Ingo Hans Pill (Speaker)

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

Description

Talk: Efficient verification with PSL: on the symbolic implementation of alternating automata
Period26 Mar 2010
Event titleGastvortrag bei OneSpin Solutions
Event typeWorkshop