pnse.bib

    @INPROCEEDINGS{pbenmaissa2012,
    author = {Ben Ma{\"{\i}}ssa, Yann and Kordon, Fabrice and Mouline, Salma and Thierry-Mieg, Yann},
    month = jun,
    title = {{M}odeling and {A}nalyzing {W}ireless {S}ensor {N}etworks with {VeriSensor}},
    booktitle = {{P}etri {N}et and {S}oftware {E}ngineering ({PNSE})},
    volume = {851},
    year = {2012},
    pages = {60-76},
    publisher = {CEUR},
    address = {Hamburg, Germany}
    }