bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 3748582