Binary: lts2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2pbes

Random binary cloud:

.htaccess gawk r.in.poly clogprint test_asyncnotif nycheck-gfortran s2p rkdcop sqback episoder g15stats x2sys_init hime-gtab2cin muroard gcnmz nnbatch ucb-tr-stat mori-5d.x pfsdisplayfunction itango3 qemu-ppc64le scsi_ch_swp gri909 skkdic-count sludge-zbuffermaker smp_rep_broadcast soundgrain am.pl NoiseFilterSGolay mutt-aliases-to-vcf