TXT2LPS(1) - manual page | User commands

Translates an mCRL2 specification of a linear process into an LPS.