Contact Information

If you have comments or questions on the DBM library you can contact Alexandre David who is currently maintaining the library and Ruby binding.

If you have any questions on Python binding, please contact Peter Bulychev

You are welcome to contact the UPPAAL team in Uppsala or Aalborg. Please visit also the UPPAAL homepage for more information on UPPAAL and its public mailing list. The public mailing list is a live discussion forum with users of UPPAAL. You are welcome to join this list where all new releases are announced.