Formally Testing Liveness by Means of Compression Rates.

Csar Andrs, Ismael Rodrguez, Fernando Rubio

Browse the full PPSN paper archive.