Binary: pbes2bes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbes2bes

Random binary cloud:

BackupPC_archive nm dbmail-imapd freight Magick-config kfloppy ibv_uc_pingpong lshw i686-w64-mingw32-gcc-4.9.2 textureGather pcp_proc_info razor-config-autosuspend octanol hardened-c++ indi_v4l_legacy ircmarkers drawtool updatejail keyringer ktux io_lib-config ICSharpCode.NRefactory.IKVM.dll ng-nailgun openam policyd-spf resolvconf br_biogetseq bootstrap.jar tracker-sparql webmagick