A Logic of Graph Conditions Extended with Paths (bibtex)
by , , ,
Reference:
A Logic of Graph Conditions Extended with Paths (Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers), In 7th Int. Workshop on Graph Computation Models, 2016. (Pre-proceedings)
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},
NOTE = {Pre-proceedings}
}
Powered by bibtexbrowser