The following If you have comments or questions about this version of Uppaal please send an email to maintainer Marius Mikučionis. If you want to file a bug report or a request for enhancement, please visit bug tracking system.
You are welcome to join the public mailing list of Uppaal. Please visit the Uppaal home page for details.
The following people have been involved in making of Uppaal Stratego: