Verimag

bibtex

@inproceedings{BMP+07a,
    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},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 13 ; visits: 393838