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