TcT: Tyrolean Complexity Tool.

Martin Avanzini, Georg Moser, Michael Schaper

Browse the full TACAS paper archive.