Login / Signup
Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs.
Mohamed A. El-Zawawy
Published in:
ICCSA (6) (2017)
Keyphrases
</>
graph matching
online discussion
graph mining
database transactions
maximum clique
neural network
graph theoretic
data sets
knowledge base
graphical models
bipartite graph
weighted graph
strongly connected