BasuMPPS07'

BibTeX

@inproceedings{DBLP:conf/nca/BasuMPPS07,
  author    = {Ananda Basu and
               Laurent Mounier and
               Marc Poulhi{\`e}s and
               Jacques Pulou and
               Joseph Sifakis},
  title     = {Using BIP for Modeling and Verification of Networked Systems
               -- A Case Study on TinyOS-based Networks},
  booktitle = {NCA},
  year      = {2007},
  pages     = {257-260},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/NCA.2007.52},
  crossref  = {DBLP:conf/nca/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/nca/2007,
  title     = {Sixth IEEE International Symposium on Network Computing
               and Applications (NCA 2007), 12 - 14 July 2007, Cambridge,
               MA, USA},
  booktitle = {NCA},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}