BibTeX record conf/IEEEares/MartinelliM08

download as .bib file

@inproceedings{DBLP:conf/IEEEares/MartinelliM08,
  author       = {Fabio Martinelli and
                  Ilaria Matteucci},
  title        = {Synthesis of Local Controller Programs for Enforcing Global Security
                  Properties},
  booktitle    = {Proceedings of the The Third International Conference on Availability,
                  Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
                  University of Catalonia, Barcelona , Spain},
  pages        = {1120--1127},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ARES.2008.196},
  doi          = {10.1109/ARES.2008.196},
  timestamp    = {Sat, 30 Sep 2023 09:32:55 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEares/MartinelliM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}