Gastvortrag bei OneSpin Solutions

Pill, I. H. (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
Held atGastvortrag bei OneSpin Solutions
Event typeWorkshop