Binary: pbes2bes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbes2bes

Random binary cloud:

conf2ael conntrackd thin_repair dpns-ls cckd2ckd timemaster perlivp turba-convert-sql-shares-to-sqlng cppp.x_openmpi LINK totem ykchalresp ykval-queue nm cgnsversion unsplit patnotify mkstatic db.copy pactester polarssl_sha2sum timed-process lsf tstimedwrite pmksetup pycode-browser-book mailq svn-upgrade twoftpd-bind-port ndsend