DBLP BibTeX Record 'journals/sigplan/LeeYC02'

@article{DBLP:journals/sigplan/LeeYC02,
  author    = {Ji-Hyun Lee and
               Cheol-Jung Yoo and
               Ok-Bae Chang},
  title     = {Analysis of object interaction during the enterprise javabeans
               lifecycle using formal specification technique},
  journal   = {SIGPLAN Notices},
  volume    = {37},
  number    = {6},
  year      = {2002},
  pages     = {82-92},
  ee        = {http://doi.acm.org/10.1145/571727.571738},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}