CAV 2010

  • Karin Greimel (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Robustness in the Presence of Liveness
Period18 Jul 2010
Event titleCAV 2010
Event typeConference