Towards a Navigational Logic for Graphical Structures

Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira

by Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino

Reference:

Towards a Navigational Logic for Graphical Structures (Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, 2018.

Bibtex Entry:

@InCollection{LNOP18,
AUTHOR = {Lambers, Leen and Navarro, Marisa and Orejas, Fernando and Pino, Elvira},
TITLE = {{Towards a Navigational Logic for Graphical Structures}},
YEAR = {2018},
BOOKTITLE = {Graph Transformation, Specifications, and Nets},
VOLUME = {10800},
PAGES = {124-141},
EDITOR = {Heckel, Reiko and Taentzer, Gabriele},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
URL = {https://link.springer.com/content/pdf/10.1007%2F978-3-319-75396-6_7.pdf},
OPTacc_url = {},
PDF = {uploads/pdf/LNOP18.pdf},
OPTacc_pdf = {}
}