Release of 2.1.0

Written for VerifyDTAPN by Jiri Srba on 2013-09-10

We are happy to announce the release of our verifydtapn engine that now includes a support for deadlock proposition,
urgent transitions and performance improvements.

Read all announcements