DBLP Record 'reference/wiley/PeledPS08'

BibTeX

@incollection{DBLP:reference/wiley/PeledPS08,
  author    = {Doron Peled and
               Patrizio Pelliccione and
               Paola Spoletini},
  title     = {Model Checking},
  booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
  year      = {2008},
  ee        = {http://dx.doi.org/10.1002/9780470050118.ecse247},
  crossref  = {DBLP:reference/wiley/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:reference/wiley/2008,
  editor    = {Benjamin W. Wah},
  title     = {Wiley Encyclopedia of Computer Science and Engineering},
  booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher = {John Wiley {\&} Sons, Inc.},
  year      = {2008},
  ee        = {http://mrw.interscience.wiley.com/emrw/9780470050118/home/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}