• LASH

  • Referenced in 23 articles [sw21269]
  • Liège Automata-based Symbolic Handler (LASH): LASH is a toolset for representing infinite sets...
  • episensr

  • Referenced in 3 articles [sw15562]
  • methods and examples from the book by Lash T.L, Fox M.P, and Fink A.K. ”Applying...
  • Neweul

  • Referenced in 22 articles [sw04246]
  • Neweul-M² is a software package for the...
  • signal

  • Referenced in 2 articles [sw24222]
  • R package signal: Signal Processing. A set of...