SatyanandaLK07'

@inproceedings{DBLP:conf/icsea/SatyanandaLK07,
  author    = {Tonny Kurniadi Satyananda and
               Danhyung Lee and
               Sungwon Kang},
  title     = {Formal Verification of Consistency between Feature Model
               and Software Architecture in Software Product Line},
  booktitle = {ICSEA},
  year      = {2007},
  pages     = {10},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.33},
  crossref  = {DBLP:conf/icsea/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icsea/2007,
  title     = {Proceedings of the Second International Conference on Software
               Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap
               Esterel, French Riviera, France},
  booktitle = {ICSEA},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}