Sign in

A More Complete TLA.

Stephan Merz
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • real world
  • information systems
  • web services
  • search algorithm
  • preprocessing
  • relational databases