LIAFA, Paris

Alexandre David (Visiting researcher)

Activity: Visiting another research institution

Description

UPPAAL-Tiga: Past, Present, and Future!
Period2 Apr 20076 Apr 2007
VisitingLIAFA, Paris