Inproceedings,

Towards a Navigational Logic for Graphical Structures.

, , , and .
Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 124-141. Springer, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews