Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Reversible Sesqui-Pushout Rewriting
ICGT, 2014.
@inproceedings{ICGT-2014-DanosHHS,
author = "Vincent Danos and Tobias Heindel and Ricardo Honorato-Zimmer and Sandro Stucki",
booktitle = "{Proceedings of the Seventh International Conference on Graph Transformations}",
doi = "10.1007/978-3-319-09108-2_11",
editor = "Holger Giese and Barbara König",
isbn = "978-3-319-09107-5",
pages = "161--176",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Reversible Sesqui-Pushout Rewriting}",
volume = 8571,
year = 2014,
}
Tags: