@inproceedings{elrabih:hal-00788886, TITLE = {{Steady-state Property Verification: a Comparison Study}}, AUTHOR = {Elrabih, Diana and Gorgo, Ga{\"e}l and Pekergin, Nihal and Vincent, Jean-Marc}, URL = {https://inria.hal.science/hal-00788886}, BOOKTITLE = {{4th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS}}, ADDRESS = {Paris, France}, PUBLISHER = {{British Computer Society}}, SERIES = {eWiC}, YEAR = {2010}, HAL_ID = {hal-00788886}, HAL_VERSION = {v1}, }