Contact Information

If you have comments or questions on UPPAAL-TIGA, you can contact any of us who is involved in UPPAAL-Tiga:

• Alexandre David
• Kim G. Larsen
• Didier Lime
• Franck Cassez
• Axel Legay

We will open a public mailing list in the near future to offer a live discussion forum for users of UPPAAL-TIGA.