Support
From MCRL2
There are several ways to get support:
- Please first browse our documentation pages and frequently asked questions to see if your question has already been answered there.
- If not, you can subscribe to our mailing list and post your question to the mCRL2 developers and other users.
- If you think you have found a bug in our tools, you are welcome to submit a bug at our issue tracker.
If you appreciate the mCRL2 language or want to get in touch with mCRL2 users and developers, you can join the special mCRL2 community at LinkedIn.
| Important! | When posting questions or reporting bugs, please describe your problem as clearly as possible and try to provide as much relevant information as you can. This greatly helps the mCRL2 team in trying to solve your problem. |
This page was last modified on 28 November 2008, at 10:53. This page has been accessed 1,876 times.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
