CAV 2010

Karin Greimel (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Robustness in the Presence of Liveness
Zeitraum18 Jul 2010
EreignistitelCAV 2010
VeranstaltungstypKonferenz