Static Verification of Wireless Sensor Networks with Formal Methods (bibtex)

by Alessandro Testa, Antonio Coronato, Marcello Cinque and Juan Carlos Augusto

Reference:

Static Verification of Wireless Sensor Networks with Formal Methods (Alessandro Testa, Antonio Coronato, Marcello Cinque and Juan Carlos Augusto), In Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012 (Kokou Yétongnon, Richard Chbeir, Albert Dipanda, Luigi Gallo, eds.), IEEE Computer Society, 2012.

Bibtex Entry:

@inproceedings{DBLP:conf/sitis/TestaCCA12,
  author       = {Alessandro Testa and
                  Antonio Coronato and
                  Marcello Cinque and
                  Juan Carlos Augusto},
  editor       = {Kokou Y{\'{e}}tongnon and
                  Richard Chbeir and
                  Albert Dipanda and
                  Luigi Gallo},
  title        = {Static Verification of Wireless Sensor Networks with Formal Methods},
  booktitle    = {Eighth International Conference on Signal Image Technology and Internet
                  Based Systems, {SITIS} 2012, Sorrento, Naples, Italy, November 25-29,
                  2012},
  pages        = {587--594},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SITIS.2012.90},
  doi          = {10.1109/SITIS.2012.90},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/sitis/TestaCCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}