CAV 2010

Karin Greimel (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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