Skip to main content
English
Deutsch
Home
Persons
Research Units
Research Outputs
Projects
Activities
Prizes
Press / Media
Gastvortrag bei OneSpin Solutions
Pill, I. H.
(Speaker)
Institute of Software Technology (7160)
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
Period
26 Mar 2010
Held at
Gastvortrag bei OneSpin Solutions
Event type
Workshop