Agnès Cougnard

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
UPPAAL-Tiga: Time for Playing Games! CAV (2007)