François Vernadat, François Michel. Covering Step Graph Preserving Failure Semantics. In Pierre Azéma, Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings. Volume 1248 of Lecture Notes in Computer Science, pages 253-270, Springer, 1997.
@inproceedings{VernadatM97,
title = {Covering Step Graph Preserving Failure Semantics},
author = {François Vernadat and François Michel},
year = {1997},
tags = {semantics, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/VernadatM97},
cites = {0},
citedby = {0},
pages = {253-270},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings},
editor = {Pierre Azéma and Gianfranco Balbo},
volume = {1248},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63139-9},
}