CIF to mCRL2: use 'linearize product with merge' instead of 'linearize product'
Prevent possible blow-ups in number of linearized edges.
As a result of abusive and unreasonable anonymous traffic patterns, we're now requiring authentication to access some GitLab pages and content. We will investigate further to determine if these changes are permanent or temporary.
We apologize for the inconvenience caused.
Prevent possible blow-ups in number of linearized edges.
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent