DBLP Record 'conf/IEEEares/SiveroniZS08'

BibTeX

@inproceedings{DBLP:conf/IEEEares/SiveroniZS08,
  author    = {Igor Siveroni and
               Andrea Zisman and
               George Spanoudakis},
  title     = {Property Specification and Static Verification of UML Models},
  booktitle = {ARES},
  year      = {2008},
  pages     = {96-103},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.194},
  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}
}