Verification of communicating recursive programs via split-width. (Vérification de programmes récursifs et communicants via split-width)

@inproceedings{Aiswarya2014VerificationOC,
  title={Verification of communicating recursive programs via split-width. (V{\'e}rification de programmes r{\'e}cursifs et communicants via split-width)},
  author={C. Aiswarya},
  year={2014}
}