Gastvortrag bei OneSpin Solutions

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