@inproceedings{BMP+07e,
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},
year = {2007},
booktitle = {Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA},
pages = {257-260},
publisher = {IEEE Computer Society},
team = {DCS,RSD,PACSS},
}
