ChoBCKYK99'

BibTeX

@inproceedings{DBLP:conf/isads/ChoBCKYK99,
  author    = {Seung Mo Cho and
               Doo-Hwan Bae and
               Sung Deok Cha and
               Young Gon Kim and
               Byung Kyu Yoo and
               Sang Taek Kim},
  title     = {Applying Model Checking to Concurrent Object-Oriented Software},
  booktitle = {ISADS},
  year      = {1999},
  pages     = {380-383},
  ee        = {http://computer.org/proceedings/isads/0137/01370380abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}