Login / Signup

Mutually Testing Processes - (Extended Abstract).

Giovanni BernardiMatthew Hennessy
Published in: CONCUR (2013)
Keyphrases
  • extended abstract
  • database
  • database systems
  • multiscale
  • search algorithm
  • computational models