A Logic of Graph Conditions Extended with Paths (bibtex)
by Navarro, Marisa, Pino, Elvira, Orejas, Fernando and Lambers, Leen
Reference:
A Logic of Graph Conditions Extended with Paths (Navarro, Marisa, Pino, Elvira, Orejas, Fernando and Lambers, Leen), In 7th Int. Workshop on Graph Computation Models, 2016.
Bibtex Entry:
@InProceedings{Navarro+16,
AUTHOR = {Navarro, Marisa and Pino, Elvira and Orejas, Fernando and Lambers, Leen},
TITLE = {{A Logic of Graph Conditions Extended with Paths}},
YEAR = {2016},
BOOKTITLE = {7th Int. Workshop on Graph Computation Models},
URL = {http://gcm2016.inf.uni-due.de/pre-proceedings.html},
OPTacc_url = {},
NOTE = {Pre-proceedings}
}
Powered by bibtexbrowser