Login / Signup

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Pavol CernýThomas A. HenzingerArjun RadhakrishnaLeonid RyzhykThorsten Tarrach
Published in: CAV (2013)
Keyphrases
  • preserving transformations
  • database systems
  • computer vision
  • image processing
  • statistical analysis
  • query processing