author = {Judy Crow and Sam Owre and John Rushby and Natarajan Shankar and Mandayam Srivas},
  title = {{A} Tutorial Introduction to {PVS}},
  year = {1995},
  month = {April},
  address = {Boca Raton, Florida},
  url = {http://www.csl.sri.com/papers/wift-tutorial/},
  booktitle = {Workshop on Industrial-Strength Formal Specification Techniques}
  key = {PVS},
  note = {PVS web site \url{http://pvs.csl.sri.com/}}
  author = {John Rushby},
  title = {Specification, Proof Checking, and Model Checking for Protocols and Distributed Systems with {PVS}},
  howpublished = {Tutorial presented at \{FORTE {X/PSTV} {XVII} '97\}},
  month = {November},
  year = {1997},
  address = {Menlo Park, {CA}},
  url = {http://www.csl.sri.com/papers/forte97/},
  institution = {Computer Science Laboratory, {SRI} International}
  author = {Natarajan Shankar},
  title = {Machine-Assisted Verification Using Theorem Proving and Model Checking},
  booktitle = {Mathematical Methods in Program Development},
  publisher = {Springer},
  year = {1997},
  editor = {{M.} Broy and Birgit Schieder},
  series = {{NATO} {ASI} Series {F:} Computer and Systems Science},
  pages = {499--528},
  url = {http://www.csl.sri.com/papers/marktoberdorf97/}
  author = {Grit Denker and {J.J.} Garcia-Luna-Aveces and Jos\'{e} Meseguer and Peter Csaba \"{O}lveczky and {Y.} Raju and {B.} Smith and {C.} Talcott},
  title = {Specification and Analysis of a Reliable Broadcasting Protocol in Maude},
  booktitle = {37th Annual Allerton Conference on Communication, Control, and Computation},
  year = {1999},
  editor = {Hajek and {B.} and Sreenivas and {R.} {S.}},
  address = {University of Illinois, {USA}},
  month = {September},
  url = {http://www.csl.sri.com/papers/dgm:99b/}
  key = {Maude web site},
  note = {\url{http://maude.csl.sri.com/}}

This file was generated by bibtex2html 1.96.