Login / Signup
Generating transition graphs from LOTOS specifications.
Günter Karjoth
Published in:
FORTE (1992)
Keyphrases
</>
graph matching
high level
directed graph
graph theory
random graphs
pairwise
graph construction
semi supervised
graph structure
graph model
graph databases
series parallel