Gastvortrag bei OneSpin Solutions

Ingo Hans Pill (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science 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