Binary: lts2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2pbes

Random binary cloud:

alevt btape clipper_test ant.bat pfbtopfa gpgsm g.proj pkgdata apcsmart phpdoc silvia_verifier pdftexi2dvi tlssled xrdp zanata_pom_xml_make cdfisopsi csstidy fileschanged keytool genext2fs trjorder_d imgvtopnm news.daily topica2mail med-physics pcl_modeler pype python2.7-dbg texdoc xmlformat