@inproceedings{arr08,
author="C. Andr{\'e}s and I. Rodr{\'\i}guez and F. Rubio",
title="Formally Testing Liveness by means of Compression Rates",
booktitle="10th Int. Conf. on Parallel Problem Solving From Nature, PPSN'08, LNCS 5199",
pages="347--357",
year="2008",
publisher="Springer"}