Agnès Cougnard

According to our database, Agnès Cougnard authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the Computer Aided Verification, 19th International Conference, 2007