CIF to mCRL2: use 'linearize product with merge' instead of 'linearize product'
Prevent possible blow-ups in number of linearized edges.
Prevent possible blow-ups in number of linearized edges.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent