DBLP Record 'conf/IEEEares/MartinelliM08'

BibTeX

@inproceedings{DBLP:conf/IEEEares/MartinelliM08,
  author    = {Fabio Martinelli and
               Ilaria Matteucci},
  title     = {Synthesis of Local Controller Programs for Enforcing Global
               Security Properties},
  booktitle = {ARES},
  year      = {2008},
  pages     = {1120-1127},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.196},
  crossref  = {DBLP:conf/IEEEares/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/IEEEares/2008,
  title     = {Proceedings of the The Third International Conference on
               Availability, Reliability and Security, ARES 2008, March
               4-7, 2008, Technical University of Catalonia, Barcelona
               , Spain},
  booktitle = {ARES},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}