Termination Analysis

Papers

Support

This research is currently supported by a grant from the Swiss National Science Foundation.