Context-Bounded Analysis of TSO Systems.

Mohamed Faouzi Atig Ahmed Bouajjani Gennaro Parlato

Published in: FPS@ETAPS (2014)

Keyphrases

information retrieval
building blocks
contextual information
databases
social networks
website
case study
data analysis