DBLP Record 'journals/sttt/DuSC99'

BibTeX

@article{DBLP:journals/sttt/DuSC99,
  author    = {Xiaoqun Du and
               Scott A. Smolka and
               Rance Cleaveland},
  title     = {Local Model Checking and Protocol Analysis},
  journal   = {STTT},
  volume    = {2},
  number    = {3},
  year      = {1999},
  pages     = {219-241},
  ee        = {http://link.springer.de/link/service/journals/10009/bibs/9002003/90020219.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}