Combining Termination Criteria by Isolating Deletion

Dénes Bisztray, Reiko Heckel. Combining Termination Criteria by Isolating Deletion. In Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Volume 6372 of Lecture Notes in Computer Science, pages 203-217, Springer, 2010. [doi]

Authors

Dénes Bisztray

This author has not been identified. Look up 'Dénes Bisztray' in Google

Reiko Heckel

This author has not been identified. It may be one of the following persons: Look up 'Reiko Heckel' in Google