Towards a Navigational Logic for Graphical Structures (bibtex)
by , , ,
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}
}
Powered by bibtexbrowser