| Original language | English |
|---|---|
| Title of host publication | 6th International Workshop on Termination |
| Subtitle of host publication | WST'03, |
| Publication status | Published - 2003 |
One Loop at a Time
Mike Codish, Samir Genaim, Maurice Bruynooghe, John Gallagher, Wim Vanhoof
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter