DBLP BibTeX Record 'conf/compsac/LuCBKN09'

@inproceedings{DBLP:conf/compsac/LuCBKN09,
  author    = {Yue Lu and
               Antonio Cicchetti and
               Stefan Bygde and
               Johan Kraft and
               Christer Norstr{\"o}m},
  title     = {Transformational Specification of Complex Legacy Real-Time
               Systems via Semantic Anchoring},
  booktitle = {COMPSAC (2)},
  year      = {2009},
  pages     = {510-515},
  ee        = {http://dx.doi.org/10.1109/COMPSAC.2009.184},
  crossref  = {DBLP:conf/compsac/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/compsac/2009,
  editor    = {Sheikh Iqbal Ahamed and
               Elisa Bertino and
               Carl K. Chang and
               Vladimir Getov and
               Lin Liu and
               Hua Ming and
               Rajesh Subramanyan},
  title     = {Proceedings of the 33rd Annual IEEE International Computer
               Software and Applications Conference, COMPSAC 2009, Seattle,
               Washington, USA, 20-24 July 2009},
  booktitle = {COMPSAC},
  publisher = {IEEE Computer Society},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2009-06-08 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page