Login / Signup
Anzu: A Tool for Property Synthesis.
Barbara Jobstmann
Stefan J. Galler
Martin Weiglhofer
Roderick Bloem
Published in:
CAV (2007)
Keyphrases
</>
databases
database
computer vision
feature selection
three dimensional
evolutionary algorithm
wireless sensor networks