Sign in

Automated Analysis of Asynchronously Communicating Systems.

Lakhdar AkrounGwen SalaünLina Ye
Published in: SPIN (2016)
Keyphrases
  • automated analysis
  • real world
  • retrieval systems
  • communication channels
  • data management
  • data processing