mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

Published 20 hours ago • verified publisher icon mCRL2org

The new ltsgraph layouting algorithm is unsuitable for showing (small) counter examples

Open mlaveaux opened this issue 1 year ago • 0 comments

mlaveaux avatar Feb 23 '24 09:02 mlaveaux