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}
}