Combinatorial Abstraction Refinement for Feasibility Analysis.

Martin Stigge Wang Yi

Published in: RTSS (2013)

Keyphrases

machine learning
quantitative analysis
database
web services
data structure
digital libraries
data analysis