LPS2PBES(1) - manual page | User commands

Generate a PBES from an LPS and a state formula.