On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2

First Page		Document Content
Date: 2012-09-28 09:53:16		On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2 Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 562,51 KB Share Document on Facebook