Login / Signup

CLTSA: labelled transition system analyser with counting fluent support.

Germán RegisRenzo DegiovanniNicolás D'IppolitoNazareno Aguirre
Published in: ESEC/SIGSOFT FSE (2017)
Keyphrases
  • three dimensional
  • cooperative
  • knowledge management
  • databases
  • real world
  • hidden markov models
  • end users