bibtex

@inproceedings{BMP+07d,
    title = {Using {BIP} for Modeling and Verification of Networked Systems - A Case Study on {TinyOS}-based Networks },
    author = {Basu, Ananda and Mounier, Laurent and Poulhi\`es, Marc and Pulou, Jacques and Sifakis, Joseph},
    month = {July},
    year = {2007},
    booktitle = {IEEE NCA'07},
    address = {Cambridge, USA},
    pages = {257-260},
    team = {DCS,RSD,PACSS},
}


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

info visites 4191092