The termination competition 2006

C. Marché, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

2 Downloads (Pure)

Abstract

The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.
Original languageEnglish
Title of host publicationProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
EditorsA. Geser, H. Sondergaard
Place of PublicationS.l.
PublisherComputing Research Repository
Pages32-38
Publication statusPublished - 2006

Cite this