@inproceedings{BGQ10c,
title = {Contract-Based Reasoning about Progress: Application to Resource Sharing in a Network },
author = {Ben-Hafaiedh, Imene and Graf, Susanne and Quinton, Sophie},
year = {2010},
booktitle = {Proc. of FLACOS'10},
team = {DCS},
}
