Gastvortrag bei OneSpin Solutions

  • Ingo Hans Pill (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Efficient verification with PSL: on the symbolic implementation of alternating automata
Zeitraum26 März 2010
EreignistitelGastvortrag bei OneSpin Solutions
VeranstaltungstypWorkshop